[Barrelfish-users] Dual boot Barrelfish with Ubuntu

Simon Gerber simon.gerber at inf.ethz.ch
Wed Apr 15 13:46:33 CEST 2015


Hi Vinay,

On 14.04.2015 19:30, Vinay Kumar wrote:
> Hi,
> 
> I am trying to Dual boot Barrelfish alongside Ubuntu, 
> Below are the steps I tried and ultimately there is an issue when grub tries to boot Barrelfish 
> 
> 1- I installed Ubunt14.04 on a virtual machine, creating 2 partition, one for ubuntu(/dev/sda1) and the other for Barrelfish(/dev/sda5)
> 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
> 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
Did you adapt this menu.lst to refer to the binaries installed on the partition?

> 4- In the main menu.lst file under /boot/grub/menu.lst I added a new entry for Barrelfish and rerun grub
How does this entry look like? Is it a multiboot entry? Do you chainload another grub on /dev/sda5?

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?

Best,
-- Simon

> 5- upon reboot the grub menu lists Barrelfish as an new os for booting(pls refer pic below)
> Inline image 1
> 
> 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
> Inline image 2
> 
> Please let me know why barrelfish fails to boot here. What is the exact format of the binaries?
> 
> Please let me know if need more info
> Thanks in advance
> Vinay
> 
> 
> 
> _______________________________________________
> Barrelfish-users mailing list
> Barrelfish-users at lists.inf.ethz.ch
> https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users
> 



More information about the Barrelfish-users mailing list