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
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
thanks it worked for me
On Thu, Jun 30, 2016 at 1:52 AM, Nobody III <hungryninja101@...9...> wrote:
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@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main