CCing the public barrelfish list.<br><br><div class="gmail_quote">---------- Forwarded message ----------<br>From: <b class="gmail_sendername">Samuel Hitz</b> <span dir="ltr"><<a href="mailto:samuel.hitz@gmail.com">samuel.hitz@gmail.com</a>></span><br>
Date: Mon, Feb 27, 2012 at 9:21 AM<br>Subject: building an arm kernel of barrelfish for gem5<br>To: <a href="mailto:tharris@microsoft.com">tharris@microsoft.com</a><br><br><br>Hi Tim,<div><br></div><div>I'm a CS student at ETH Zurich and for my Bachelor Thesis, I try to port Barrelfish to a heterogeneous ARM multicore system (big.LITTLE) using the gem5 simulator. Now the first step is to build a Barrelfish kernel suitable for the use with gem5. I saw on the wiki, that you did this already for x86. Now my question is, what must be modified in the build process to get an ARM kernel for gem5?</div>
<div>I saw you're using 'molly' in order to build the kernel. How is this applicable to build an ARM kernel for gem5? What do I have to rewrite? Or is it just a matter of building an ARM Barrelfish tree and run 'make m5_kernel'?</div>
<div><br></div><div>Thank you for your help.</div><div><br></div><div>Best,</div><div><br></div><div>Samuel</div>
</div><br>