<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<p dir="ltr">Hi Vinay,</p>
<p dir="ltr">I think the problem here is that you have the line</p>
<p dir="ltr"> root (nd)</p>
<p dir="ltr">in your Barrelfish menu.lst. Try removing that. If that still doesn't work, try with
<br>
<br>
root(hd0, 4)</p>
<p dir="ltr">(I'm not sure which of those options is the correct one).</p>
<p dir="ltr">-- Simon</p>
<div class="gmail_quote">On 21 Apr 2015, at 09:10, Vinay Kumar <<a href="mailto:ms.vinay.k@gmail.com" target="_blank">ms.vinay.k@gmail.com</a>> wrote:
<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<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>
</blockquote>
</div>
</body>
</html>