[Barrelfish-users] How to port current Barrelfish OS on the x86_64 Gem5 simulator

Timothy Roscoe troscoe at inf.ethz.ch
Tue Jan 10 10:41:38 CET 2017

Hopefully somoene else on the list can answer in more detail, but some
of us have quite successfully booted Barrelfish on x86_64 GEM5 in the
past (I know Tim Harris did this)...

There's nothing terribly unusual about the multiboot image that is
generated for regular x86_64 systems, and so you should be able to
boot it the same way you would boot a regular Linux image.  Note that
you don't need a RAM disk; we currently put all the initial modules
into the multiboot image.

You can take a look at the current ARM GEM5 targets in
platforms/Hakefile for hints as to how to do this.

If you get it working, let us know (or send us a patch or pull
request) and we'll add it to the platforms Hakefile as a new target.

 -- Mothy

At Mon, 9 Jan 2017 14:12:04 +0100, Reto Achermann <reto.achermann at inf.ethz.ch> wrote:
> Hi Shuangxi,
> thanks for your e-mail. Please write further questions to the barrelfish
> mailing list: barrelfish-users at lists.inf.ethz.ch
> Unfortunately, I am not too familiar with the gem5 simulator. I've
> forwarded your e-mail to the mailing list. As a general hint: you may
> look at the ARM targets for the GEM5 simulator as a starting point.
> In case you find bugs / get it working we are looking forward to your
> contributions.
> Let us know about further questions you have we are happy to provide
> assistance.
> -- Reto
> barrelfish-users at lists.inf.ethz.ch
> On 08/01/17 09:30, shuangxi wang wrote:
> > Dear Dr. Achermann,
> >
> > Sorry to disturb you in the weekend days, I am doing some research work on your
> > barrelfish OS and gem5; I want to port the bf OS on the gem5 x86_64 arch, but it
> > seems that the current official Barrelfish OS do not support the x86 gem5 now.
> > Could you help me? Maybe I am not familiar with the latest bf OS.
> >
> > Thanks a lot,
> >
> > Best regards,
> >
> > Shuangxi Wang
> > MSc student, System Research Group,
> > Department of Computer Science,
> > the University of Hong Kong
> --
> ETH Zürich
> Reto Achermann
> CAB E 69
> Universitätstrasse 6
> 8092 Zürich
> Tel: +41 44 633 70 15
> http://people.inf.ethz.ch/acreto
> _______________________________________________
> Barrelfish-users mailing list
> Barrelfish-users at lists.inf.ethz.ch
> https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users

More information about the Barrelfish-users mailing list