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

Reply via email to