<div dir="ltr"><div style="font-size:12.8000001907349px">Hi,</div><div style="font-size:12.8000001907349px"><br></div><div style="font-size:12.8000001907349px">I am trying to Dual boot Barrelfish alongside Ubuntu, </div><div style="font-size:12.8000001907349px">Below are the steps I tried and ultimately there is an issue when grub tries to boot Barrelfish </div><div style="font-size:12.8000001907349px"><br></div><div style="font-size:12.8000001907349px">1- I installed Ubunt14.04 on a virtual machine, creating 2 partition, one for ubuntu(/dev/sda1) and the other for Barrelfish(/dev/sda5)</div><div style="font-size:12.8000001907349px">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</div><div style="font-size:12.8000001907349px">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</div><div style="font-size:12.8000001907349px">4- In the main menu.lst file under /boot/grub/menu.lst I added a new entry for Barrelfish and rerun grub</div><div style="font-size:12.8000001907349px">5- upon reboot the grub menu lists Barrelfish as an new os for booting(pls refer pic below)</div><div style="font-size:12.8000001907349px"><img src="cid:ii_14c9c6e5abdf29ea" alt="Inline image 1" width="504" height="211" class="" tabindex="0"><div class="" dir="ltr"><div id=":13x" class="" tabindex="0"><div class=""></div></div><div id=":13y" class="" tabindex="0"><div class=""></div></div></div><br></div><div style="font-size:12.8000001907349px">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</div><div style="font-size:12.8000001907349px"><img src="cid:ii_14c9c712e03f3de3" alt="Inline image 2" width="504" height="70" class=""><br></div><div style="font-size:12.8000001907349px"><br></div><div style="font-size:12.8000001907349px">Please let me know why barrelfish fails to boot here. <span style="font-size:12.8000001907349px">What is the exact format of the binaries?</span></div><div style="font-size:12.8000001907349px"><br></div><div style="font-size:12.8000001907349px">Please let me know if need more info</div><div style="font-size:12.8000001907349px">Thanks in advance</div><div style="font-size:12.8000001907349px">Vinay</div><div style="font-size:12.8000001907349px"><br></div></div>