Copy everything from var/run/l4linux to an empty ext2 partition.

 Add the following menu entry to grub.cfg:

menuentry 'Genode' {
    load_video
    insmod legacycfg
    insmod part_msdos
    insmod ext2
    set root='hd1,msdos3'
    legacy_configfile /boot/grub/menu.lst
}

Edit the menu entry according to your partitioning scheme. Then reboot and select Genode.

On Wed, Jun 29, 2016 at 1:25 PM, john stokes <jstokes95.john@...9...> wrote:

after building the l4linux using make run/l4linux i got the iso file of l4linux

now i want to create a grub2 entry for l4linux along with ubuntu how should i do it?

i have followed methods given on other places they all are distro specific i have also

seen nova hypervisor multiboot mailing list doubt it is of not much help is there any way to use create_grub2 tool?

my l4linux file is at

<build-dir>/foc_x86_32/var/run/l4linux/boot
<build-dir>/foc_x86_32/var/run/l4linux/genode
<build-dir>/foc_x86_32/var/run/l4linux/fiasco
<build-dir>/foc_x86_32/var/run/l4linux/boot/grub
<build-dir>/foc_x86_32/var/run/l4linux/boot/isolinux
<build-dir>/foc_x86_32/var/run/l4linux/boot/bender

<build-dir>/foc_x86_32/var/run/l4linux/boot/grub/menu.lst contains following things

timeout 0
default 0

title Genode on Fiasco.OC
 kernel /boot/bender
 module /fiasco/bootstrap
 module /fiasco/fiasco -serial_esc
 module /fiasco/sigma0
 module /genode/core
 module /genode/config
 module /genode/init
 module /genode/timer
 module /genode/kdb_uart_drv
 module /genode/l4linux
 module /genode/initrd.gz
 module /genode/ps2_drv
 module /genode/fb_drv
 module /genode/nic_drv
 module /genode/platform_drv
 module /genode/acpi_drv
 module /genode/report_rom
 vbeset 0x117 506070

------------------------------------------------------------------------------
Attend Shape: An AT&T Tech Expo July 15-16. Meet us at AT&T Park in San
Francisco, CA to explore cutting-edge tech and listen to tech luminaries
present their vision of the future. This family event has something for
everyone, including kids. Get more information and register today.
http://sdm.link/attshape
_______________________________________________
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main

------------------------------------------------------------------------------
Attend Shape: An AT&T Tech Expo July 15-16. Meet us at AT&T Park in San
Francisco, CA to explore cutting-edge tech and listen to tech luminaries
present their vision of the future. This family event has something for
everyone, including kids. Get more information and register today.
http://sdm.link/attshape
_______________________________________________
genode-main mailing list
genode-main@...12...ceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main