<div>Hi,<br></div><div><br></div><div>I made this a separate message to not pollute the other thread.<br></div><div><br></div><div>More for curiosity rather than anything else, but, why is the PPC64 port the best to start from?  I would have naively guessed the Arm32 port.<br></div><div><br></div><div>Thanks.<br></div><div><br></div><div>bruce  <br></div><div ><br></div>