Help : booting genode with nova: kernel not found

[Alexander Boettcher]

Hello,

On 08.01.2018 10:20, jony jony wrote:
> and created a symbolic link as follow: ln -s /genode
>  /genode/nova_build_dir/var/run/demo
> 
> i also tried copying in another scenario only the content of
> /genode/nova_build_dir/var/run/demo which contains
> 
> drwxr-xr-x 3 root root    4096 Jan  7 06:24 ./
> drwxr-xr-x 3 root root    4096 Jan  7 06:24 ../
> drwxr-xr-x 3 root root    4096 Jan  7 06:24 boot/
> lrwxrwxrwx 1 root root    7 Jan  7 06:24 genode -> /genode/
> -rwxr-xr-x 1 root root  125676 Jan  7 06:24 hypervisor*
> -rwxr-xr-x 1 root root 2878008 Jan  7 06:24 image.elf.gz*
> 

ssuming you are running the latest Genode 17.11 release,
you will find a ready to use iso image in


/genode/nova_build_dir/var/run/demo.iso

(if used with "RUN_OPT += --include image/iso" in the build.conf)



or a uefi bootable image in
/genode/nova_build_dir/var/run/demo.img

(if used with "RUN_OPT += --include image/uefi" in the build.conf)



Both you may dd to a USB stick and boot (for the UEFI image you will
have to disable secure boot in your UEFI setup of your PC).



However, if you intend to boot Genode by adding it manually to an
existing GRUB2 installation, see for some hints below:

> then i created a file in /etc/grub.d/49_genode1
> 
> cat 49_genode1
> #!/bin/sh -e
> echo "Genode at ...153..."
> cat << EOF
> menuentry "Genode at ...153..." {
> insmod ext2
> multiboot /genode/hypervisor
> module /genode/core
> module /genode/config config
> module /genode/init init
>   module /genode/timer timer
> module /genode/nitpicker nitpicker
> module /genode/liquid_fb liquid_fb
> module /genode/launchpad launchpad
> module /genode/scout scout
> module /genode/testnit testnit
> module /genode/nitlog nitlog
> module /genode/pci_drv pci_drv
> module /genode/vesa_drv vesa_drv
> module /genode/ps2_drv ps2_drv
> }
> 

This won't work. The image.elf.gz you have shown/seen above contains
already all Genode components of your scenario.


Please have a look into the generated grub.cfg in the boot directory of

/genode/nova_build_dir/var/run/demo/boot/grub.cfg

You should try to reuse this grub.cfg, instead of manually editing your
genode_41 file. The 'configfile' command of GRUB2 may help.

> Genode at ...153... appears on the grub once i try to load it , but i get the error
> file '/genode/hypervisor' not found
> and for the other module i get the message : you need to load the kernel
> first

Maybe try first without symbolic link, e.g. make a copy of hypervisor
and image.elf.gz to your desired location.

> 
> I tried different possibilities but none of them is working , can i get
> some help please;
> thanks

Hope it helps.

Cheers,

-- 
Alexander Boettcher
Genode Labs

http://www.genode-labs.com - http://www.genode.org

Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth