[Barrelfish-users] How to Run Barrelfish on real hardware!!

Mats Brorsson matsbror at kth.se
Wed Jul 31 00:04:42 CEST 2013

You can probably get some pointers here:




-----Original Message-----
From: barrelfish-users-request at lists.inf.ethz.ch [mailto:barrelfish-users-request at lists.inf.ethz.ch] 
Sent: den 30 juli 2013 12:00
To: barrelfish-users at lists.inf.ethz.ch
Subject: Barrelfish-users Digest, Vol 41, Issue 15

Send Barrelfish-users mailing list submissions to
	barrelfish-users at lists.inf.ethz.ch

To subscribe or unsubscribe via the World Wide Web, visit
or, via email, send a message with subject or body 'help' to
	barrelfish-users-request at lists.inf.ethz.ch

You can reach the person managing the list at
	barrelfish-users-owner at lists.inf.ethz.ch

When replying, please edit your Subject line so it is more specific than "Re: Contents of Barrelfish-users digest..."

Today's Topics:

   1. How to Run Barrelfish on real hardware!! (jiban sarma)


Message: 1
Date: Tue, 30 Jul 2013 00:11:39 -0700 (PDT)
From: jiban sarma <jj_sep at yahoo.com>
Subject: [Barrelfish-users] How to Run Barrelfish on real hardware!!
To: "barrelfish-users at lists.inf.ethz.ch"
	<barrelfish-users at lists.inf.ethz.ch>
	<1375168299.87166.YahooMailNeo at web125102.mail.ne1.yahoo.com>
Content-Type: text/plain; charset="iso-8859-1"

Hi All,

We have been experimenting with the Barrelfish OS for last couple of days. In our first attempt we were able to run barrelfish on QEMU. We can see the fish shell and also can execute few commands after the boot. But as QEMU uses only one physical core, in our second phase of experiment we decided to run barrelfish on real hardware. So we have installed virtual box and create a vm using Ubuntu 10.04. We also created the barrelfish binaries using ($ make install INSTALL_PREFIX=/boot/barrelfish). Upto this point everything seems to be fine. Now the problem is that Ubuntu uses GRUB2 as default bootloader, and we are facing problem ?to configure the GRUB so that we can load the barrelfish kernel and run it on the real hardware.

Is anyone already have configured barrelfish and boot it through GRUB2 bootloader ? Can you please give me few suggestions how to go ahead and boot barreflsih through GRUB.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20130730/6c23ea63/attachment-0001.html 


Barrelfish-users mailing list
Barrelfish-users at lists.inf.ethz.ch

End of Barrelfish-users Digest, Vol 41, Issue 15

More information about the Barrelfish-users mailing list