<div dir="ltr">Hi Simon,<div><br></div><div>I tried both the options but still neither of them worked</div><div><br></div><div>I had set root (cd) in my barrelfish menu.lst and not root (nd).</div><div>Tried removing </div><div><br></div><div>root (cd) </div><div><br></div><div>also tried with </div><div><br></div><div>root (hd0,4)</div><div><br></div><div>There is no change in the output, It still shows error &quot;Invalid or unsupported file format&quot; for booting barrelfish<br></div><div>Not able to find from where this error is showing.</div><div>Please let me know is something wrong in my grub setup</div><div><br></div><div>Thanks</div><div>Vinay</div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Apr 21, 2015 at 12:47 PM, Gerber  Simon <span dir="ltr">&lt;<a href="mailto:simon.gerber@inf.ethz.ch" target="_blank">simon.gerber@inf.ethz.ch</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">



<div>
<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&#39;t work, try with
<br>
    <br>
   root(hd0, 4)</p>
<p dir="ltr">(I&#39;m not sure which of those options is the correct one).</p><span class="HOEnZb"><font color="#888888">
<p dir="ltr">-- Simon</p></font></span><div><div class="h5">
<div class="gmail_quote">On 21 Apr 2015, at 09:10, Vinay Kumar &lt;<a href="mailto:ms.vinay.k@gmail.com" target="_blank">ms.vinay.k@gmail.com</a>&gt; 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 &quot;/boot/grub&quot; directory:</div>
<div><br>
</div>
<div>
<div>title<span style="white-space:pre-wrap"> </span>Ubuntu 14.04 LTS, kernel 3.13.0-24-generic</div>
<div>uuid<span style="white-space:pre-wrap"> </span>bfbce0a3-def3-4fcd-a4f1-7506a95a2892</div>
<div>kernel<span style="white-space:pre-wrap"> </span>/boot/vmlinuz-3.13.0-24-generic root=UUID=bfbce0a3-def3-4fcd-a4f1-7506a95a2892 ro quiet splash</div>
<div>initrd<span style="white-space:pre-wrap"> </span>/boot/initrd.img-3.13.0-24-generic</div>
<div><br>
</div>
<div>title<span style="white-space:pre-wrap"> </span>Ubuntu 14.04 LTS, kernel 3.13.0-24-generic (recovery mode)</div>
<div>uuid<span style="white-space:pre-wrap"> </span>bfbce0a3-def3-4fcd-a4f1-7506a95a2892</div>
<div>kernel<span style="white-space:pre-wrap"> </span>/boot/vmlinuz-3.13.0-24-generic root=UUID=bfbce0a3-def3-4fcd-a4f1-7506a95a2892 ro single</div>
<div>initrd<span style="white-space:pre-wrap"> </span>/boot/initrd.img-3.13.0-24-generic</div>
<div><br>
</div>
<div>title<span style="white-space:pre-wrap"> </span>Ubuntu 14.04 LTS, memtest86+</div>
<div>uuid<span style="white-space:pre-wrap"> </span>bfbce0a3-def3-4fcd-a4f1-7506a95a2892</div>
<div>kernel<span style="white-space:pre-wrap"> </span>/boot/memtest86+.bin</div>
<div><br>
</div>
<div>title<span style="white-space:pre-wrap"> </span>Barrelfish</div>
<div>rootnoverify<span style="white-space:pre-wrap"> </span>(hd0,4)</div>
<div>chainloader<span style="white-space:pre-wrap"> </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&#39;s menu.lst:</div>
<div><br>
</div>
<div>
<div>title<span style="white-space:pre-wrap"> </span>Barrelfish</div>
<div>root<span style="white-space:pre-wrap"> </span>(cd)</div>
<div>kernel<span style="white-space:pre-wrap"> </span>/x86_64/sbin/elver loglevel=4</div>
<div>module<span style="white-space:pre-wrap"> </span>/x86_64/sbin/cpu loglevel=4</div>
<div>module<span style="white-space:pre-wrap"> </span>/x86_64/sbin/init</div>
<div><br>
</div>
<div># Domains spawned by init</div>
<div>module<span style="white-space:pre-wrap"> </span>/x86_64/sbin/mem_serv</div>
<div>module<span style="white-space:pre-wrap"> </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 style="white-space:pre-wrap"> </span>/x86_64/sbin/serial</div>
<div>module  /x86_64/sbin/fish</div>
<div>module<span style="white-space:pre-wrap"> </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 &#39;/dev/sda5&#39; and it is mounted in the directory &#39;/home/new&#39;</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&#39;s menu.lst is under &#39;/home/new/boot/grub&#39; dir</div>
<div>the barrelfish binaries are installed in &#39;/home/new/x86_64/sbin&#39; 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">
&lt;<a href="mailto:simon.gerber@inf.ethz.ch" target="_blank">simon.gerber@inf.ethz.ch</a>&gt;</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><br>
On 14.04.2015 19:30, Vinay Kumar wrote:<br>
&gt; Hi,<br>
&gt;<br>
&gt; I am trying to Dual boot Barrelfish alongside Ubuntu,<br>
&gt; Below are the steps I tried and ultimately there is an issue when grub tries to boot Barrelfish<br>
&gt;<br>
&gt; 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>
&gt; 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>
&gt; 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&#39;s menu.lst file<br>
</span>Did you adapt this menu.lst to refer to the binaries installed on the partition?<br>
<span><br>
&gt; 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><br>
&gt; 5- upon reboot the grub menu lists Barrelfish as an new os for booting(pls refer pic below)<br>
</span><span>&gt; Inline image 1<br>
&gt;<br>
&gt; 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>&gt; Inline image 2<br>
&gt;<br>
&gt; Please let me know why barrelfish fails to boot here. What is the exact format of the binaries?<br>
&gt;<br>
&gt; Please let me know if need more info<br>
&gt; Thanks in advance<br>
&gt; Vinay<br>
&gt;<br>
&gt;<br>
&gt;<br>
</span>&gt; _______________________________________________<br>
&gt; Barrelfish-users mailing list<br>
&gt; <a href="mailto:Barrelfish-users@lists.inf.ethz.ch" target="_blank">Barrelfish-users@lists.inf.ethz.ch</a><br>
&gt; <a href="https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users" target="_blank">
https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users</a><br>
&gt;<br>
</blockquote>
</div>
<br>
</div>
</blockquote>
</div>
</div></div></div>

</blockquote></div><br></div>