<div dir="ltr">Hi Simon,<div><br></div><div>Thanks for the info,</div><div><br></div><div>Here is the copy of the menu.lst under "/boot/grub" directory:</div><div><br></div><div><div>title<span class="" style="white-space:pre"> </span>Ubuntu 14.04 LTS, kernel 3.13.0-24-generic</div><div>uuid<span class="" style="white-space:pre"> </span>bfbce0a3-def3-4fcd-a4f1-7506a95a2892</div><div>kernel<span class="" style="white-space:pre"> </span>/boot/vmlinuz-3.13.0-24-generic root=UUID=bfbce0a3-def3-4fcd-a4f1-7506a95a2892 ro quiet splash</div><div>initrd<span class="" style="white-space:pre"> </span>/boot/initrd.img-3.13.0-24-generic</div><div><br></div><div>title<span class="" style="white-space:pre"> </span>Ubuntu 14.04 LTS, kernel 3.13.0-24-generic (recovery mode)</div><div>uuid<span class="" style="white-space:pre"> </span>bfbce0a3-def3-4fcd-a4f1-7506a95a2892</div><div>kernel<span class="" style="white-space:pre"> </span>/boot/vmlinuz-3.13.0-24-generic root=UUID=bfbce0a3-def3-4fcd-a4f1-7506a95a2892 ro single</div><div>initrd<span class="" style="white-space:pre"> </span>/boot/initrd.img-3.13.0-24-generic</div><div><br></div><div>title<span class="" style="white-space:pre"> </span>Ubuntu 14.04 LTS, memtest86+</div><div>uuid<span class="" style="white-space:pre"> </span>bfbce0a3-def3-4fcd-a4f1-7506a95a2892</div><div>kernel<span class="" style="white-space:pre"> </span>/boot/memtest86+.bin</div><div><br></div><div>title<span class="" style="white-space:pre"> </span>Barrelfish</div><div>rootnoverify<span class="" style="white-space:pre"> </span>(hd0,4)</div><div>chainloader<span class="" style="white-space:pre"> </span>+1</div></div><div><br></div><div>Here I added the last entry for Barrelfish</div><div>the (hd0,4) refers to the /dev/sda5 partition where the barrelfish files are located</div><div><br></div><div>Below is the copy of the Barrelfish's menu.lst:</div><div><br></div><div><div>title<span class="" style="white-space:pre"> </span>Barrelfish</div><div>root<span class="" style="white-space:pre"> </span>(cd)</div><div>kernel<span class="" style="white-space:pre"> </span>/x86_64/sbin/elver loglevel=4</div><div>module<span class="" style="white-space:pre"> </span>/x86_64/sbin/cpu loglevel=4</div><div>module<span class="" style="white-space:pre"> </span>/x86_64/sbin/init</div><div><br></div><div># Domains spawned by init</div><div>module<span class="" style="white-space:pre"> </span>/x86_64/sbin/mem_serv</div><div>module<span class="" style="white-space:pre"> </span>/x86_64/sbin/monitor</div><div><br></div><div># Special boot time domains spawned by monitor</div><div>module /x86_64/sbin/ramfsd boot</div><div>module /x86_64/sbin/skb boot</div><div>modulenounzip /skb_ramfs.cpio.gz nospawn</div><div>module /x86_64/sbin/kaluga boot</div><div>module /x86_64/sbin/acpi boot</div><div>module /x86_64/sbin/pci boot</div><div>module /x86_64/sbin/spawnd boot</div><div>#bootapic-x86_64=1-15</div><div>module /x86_64/sbin/startd boot</div><div>#module /x86_64/sbin/routing_setup boot</div><div><br></div><div># Drivers</div><div>module /x86_64/sbin/pci auto</div><div>module /x86_64/sbin/ahcid auto</div><div><br></div><div>## For networking</div><div>## For qemu, enable rtl8029</div><div>module /x86_64/sbin/rtl8029 auto</div><div><br></div><div>## For real hardware, enable e1000n</div><div>module /x86_64/sbin/e1000n auto</div><div><br></div><div>## Other services needed for networking</div><div>module /x86_64/sbin/NGD_mng auto</div><div>module /x86_64/sbin/netd auto</div><div><br></div><div># General user domains</div><div>module<span class="" style="white-space:pre"> </span>/x86_64/sbin/serial</div><div>module /x86_64/sbin/fish</div><div>module<span class="" style="white-space:pre"> </span>/x86_64/sbin/angler serial0.terminal xterm</div></div><div><br></div><div>Regarding the location where I have installed the Barrelfish binaries,</div><div>The partiion is '/dev/sda5' and it is mounted in the directory '/home/new'</div><div>The ls command output in /home/new is:</div><div>boot skb_ramfs.cpio.gz sshd_ramfs.cpio.gz x86_64</div><div><br></div><div>The barrelfish's menu.lst is under '/home/new/boot/grub' dir</div><div>the barrelfish binaries are installed in '/home/new/x86_64/sbin' dir and the binaries are all set with executable permission</div><div><br></div><div>Please let me know if I have missed something and if need more info</div><div>Thanks</div><div>Vinay</div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Apr 15, 2015 at 5:16 PM, Simon Gerber <span dir="ltr"><<a href="mailto:simon.gerber@inf.ethz.ch" target="_blank">simon.gerber@inf.ethz.ch</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Vinay,<br>
<span class=""><br>
On 14.04.2015 19:30, Vinay Kumar wrote:<br>
> Hi,<br>
><br>
> I am trying to Dual boot Barrelfish alongside Ubuntu,<br>
> Below are the steps I tried and ultimately there is an issue when grub tries to boot Barrelfish<br>
><br>
> 1- I installed Ubunt14.04 on a virtual machine, creating 2 partition, one for ubuntu(/dev/sda1) and the other for Barrelfish(/dev/sda5)<br>
> 2- I purged removed grub2 that came preinstalled with ubuntu14, and installed legacy grub 0.97 from the repository and set it up as the default grub for the OSes<br>
> 3- Installed the Barrelfish binaries onto the second partition /dev/sda5. Also I copied the grub files in to this partition and replaced the menu.lst file with barrelfish's menu.lst file<br>
</span>Did you adapt this menu.lst to refer to the binaries installed on the partition?<br>
<span class=""><br>
> 4- In the main menu.lst file under /boot/grub/menu.lst I added a new entry for Barrelfish and rerun grub<br>
</span>How does this entry look like? Is it a multiboot entry? Do you chainload another grub on /dev/sda5?<br>
<br>
Can you post a copy of all the menu.lst files involved in your setup, as well as the *exact* location of the Barrelfish binaries?<br>
<br>
Best,<br>
-- Simon<br>
<span class=""><br>
> 5- upon reboot the grub menu lists Barrelfish as an new os for booting(pls refer pic below)<br>
</span><span class="">> Inline image 1<br>
><br>
> 6- However When I select Barrelfish in this list, it tries to boot the barrelfish binaries from the disk, but gives an error as Invalid or unsupported executable format<br>
</span><span class="">> Inline image 2<br>
><br>
> Please let me know why barrelfish fails to boot here. What is the exact format of the binaries?<br>
><br>
> Please let me know if need more info<br>
> Thanks in advance<br>
> Vinay<br>
><br>
><br>
><br>
</span>> _______________________________________________<br>
> Barrelfish-users mailing list<br>
> <a href="mailto:Barrelfish-users@lists.inf.ethz.ch">Barrelfish-users@lists.inf.ethz.ch</a><br>
> <a href="https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users" target="_blank">https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users</a><br>
><br>
</blockquote></div><br></div>