Hi,<div><br><div>I think, the instructions at Barrelfish ARM document and the wiki page regarding running Barrelfish on gem5, is outdated. Can you please inform, which version of gem5 is currently in use in ETH? Meanwhile, what is the primary platform for ARM development?</div><div><br></div><div>Regarding the pandaboard-es, does the panda build work with the latest development board (Rev B3)?</div><div><br></div><div>Thank you for considering.</div><div><br></div><div>Mahdi</div></div>