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

jiban sarma jj_sep at yahoo.com
Tue Jul 30 09:11:39 CEST 2013

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.html 

More information about the Barrelfish-users mailing list