[Barrelfish-users] Dual boot Barrelfish with Ubuntu

[Gerber Simon]

Hi Vinay,

I think the problem here is that you have the line

   root (nd)

in your Barrelfish menu.lst. Try removing that. If that still doesn't work, try with

   root(hd0, 4)

(I'm not sure which of those options is the correct one).

-- Simon

On 21 Apr 2015, at 09:10, Vinay Kumar <ms.vinay.k at gmail.com<mailto:ms.vinay.k at gmail.com>> wrote:
Hi Simon,

Thanks for the info,

Here is the copy of the menu.lst under "/boot/grub" directory:

title Ubuntu 14.04 LTS, kernel 3.13.0-24-generic
uuid bfbce0a3-def3-4fcd-a4f1-7506a95a2892
kernel /boot/vmlinuz-3.13.0-24-generic root=UUID=bfbce0a3-def3-4fcd-a4f1-7506a95a2892 ro quiet splash
initrd /boot/initrd.img-3.13.0-24-generic

title Ubuntu 14.04 LTS, kernel 3.13.0-24-generic (recovery mode)
uuid bfbce0a3-def3-4fcd-a4f1-7506a95a2892
kernel /boot/vmlinuz-3.13.0-24-generic root=UUID=bfbce0a3-def3-4fcd-a4f1-7506a95a2892 ro single
initrd /boot/initrd.img-3.13.0-24-generic

title Ubuntu 14.04 LTS, memtest86+
uuid bfbce0a3-def3-4fcd-a4f1-7506a95a2892
kernel /boot/memtest86+.bin

title Barrelfish
rootnoverify (hd0,4)
chainloader +1

Here I added the last entry for Barrelfish
the (hd0,4) refers to the /dev/sda5 partition where the barrelfish files are located

Below is the copy of the Barrelfish's menu.lst:

title Barrelfish
root (cd)
kernel /x86_64/sbin/elver loglevel=4
module /x86_64/sbin/cpu loglevel=4
module /x86_64/sbin/init

# Domains spawned by init
module /x86_64/sbin/mem_serv
module /x86_64/sbin/monitor

# Special boot time domains spawned by monitor
module  /x86_64/sbin/ramfsd boot
module  /x86_64/sbin/skb boot
modulenounzip /skb_ramfs.cpio.gz nospawn
module  /x86_64/sbin/kaluga boot
module  /x86_64/sbin/acpi boot
module  /x86_64/sbin/pci boot
module  /x86_64/sbin/spawnd boot
#bootapic-x86_64=1-15
module  /x86_64/sbin/startd boot
#module /x86_64/sbin/routing_setup boot

# Drivers
module /x86_64/sbin/pci auto
module /x86_64/sbin/ahcid auto

## For networking
## For qemu, enable rtl8029
module /x86_64/sbin/rtl8029 auto

## For real hardware, enable e1000n
module /x86_64/sbin/e1000n auto

## Other services needed for networking
module /x86_64/sbin/NGD_mng auto
module /x86_64/sbin/netd auto

# General user domains
module /x86_64/sbin/serial
module  /x86_64/sbin/fish
module /x86_64/sbin/angler serial0.terminal xterm

Regarding the location where I have installed the Barrelfish binaries,
The partiion is '/dev/sda5' and it is mounted in the directory '/home/new'
The ls command output in /home/new is:
boot skb_ramfs.cpio.gz sshd_ramfs.cpio.gz x86_64

The barrelfish's menu.lst is under '/home/new/boot/grub' dir
the barrelfish binaries are installed in '/home/new/x86_64/sbin' dir and the binaries are all set with executable permission

Please let me know if I have missed something and if need more info
Thanks
Vinay


On Wed, Apr 15, 2015 at 5:16 PM, Simon Gerber <simon.gerber at inf.ethz.ch<mailto:simon.gerber at inf.ethz.ch>> wrote:
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<mailto:Barrelfish-users at lists.inf.ethz.ch>
> https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users
>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20150421/d2077537/attachment-0001.html