<html><body><div style="color:#000; background-color:#fff; font-family:garamond, new york, times, serif;font-size:14pt"><div>Hi All,</div><div><br></div><div style="color: rgb(0, 0, 0); font-size: 19px; font-family: garamond, 'new york', times, serif; background-color: transparent; font-style: normal;">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.</div><div style="color: rgb(0, 0, 0); font-size: 19px; font-family: garamond, 'new york', times, serif; background-color: transparent; font-style: normal;"><br></div><div style="color: rgb(0, 0, 0); font-size: 19px; font-family: garamond, 'new york', times, serif; background-color: transparent; font-style: normal;">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.</div><div style="color: rgb(0, 0, 0); font-size: 19px; font-family: garamond, 'new york', times, serif; background-color: transparent; font-style: normal;"><br></div><div style="color: rgb(0, 0, 0); font-size: 19px; font-family: garamond, 'new york', times, serif; background-color: transparent; font-style: normal;"><br></div><div style="color: rgb(0, 0, 0); font-size: 19px; font-family: garamond,
'new york', times, serif; background-color: transparent; font-style: normal;">Thanks,</div><div style="color: rgb(0, 0, 0); font-size: 19px; font-family: garamond, 'new york', times, serif; background-color: transparent; font-style: normal;">Jiban</div><div style="color: rgb(0, 0, 0); font-size: 19px; font-family: garamond, 'new york', times, serif; background-color: transparent; font-style: normal;"><br></div><div style="color: rgb(0, 0, 0); font-size: 19px; font-family: garamond, 'new york', times, serif; background-color: transparent; font-style: normal;"><br></div></div></body></html>