[Barrelfish-users] Dual boot Barrelfish with Ubuntu

[Vinay Kumar]

Hi Simon,

I tried both the options but still neither of them worked

I had set root (cd) in my barrelfish menu.lst and not root (nd).
Tried removing

root (cd)

also tried with

root (hd0,4)

There is no change in the output, It still shows error "Invalid or
unsupported file format" for booting barrelfish
Not able to find from where this error is showing.
Please let me know is something wrong in my grub setup

Thanks
Vinay


On Tue, Apr 21, 2015 at 12:47 PM, Gerber Simon <simon.gerber at inf.ethz.ch>
wrote:

>  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> 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>
>> 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
>>> > 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/20150424/89c847e0/attachment.html