Re: Help : booting genode with nova: kernel not found
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 root4096 Jan 7 06:24 ./
> drwxr-xr-x 3 root root4096 Jan 7 06:24 ../
> drwxr-xr-x 3 root root4096 Jan 7 06:24 boot/
> lrwxrwxrwx 1 root root7 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@NOVA"
> cat << EOF
> menuentry "Genode@NOVA" {
> 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@NOVA 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
--
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main
Re: Help : booting genode with nova: kernel not found
The NOVA kernel is generally placed as /hypervisor, not /genode/hypervisor.
Aside from that, I'd recommend updating to 17.11. You seem to be using an
older version of Genode.
On Mon, Jan 8, 2018 at 2:20 AM, jony jony wrote:
> So i did the following :
> i build genode with nova kernel on the / directory, i was able to start
> the demo even though it got blocked probably lack of free memory,
>
> mucomp:/genode$ ls
> build build.lx demo doc *nova_d*ir repos VERSION
> build1.lx contrib depot LICENSE README tool
>
>
> then i created another genode directory in the boot directory where i
> copied the whole /genode folder , and then i entered the /boot directory
> 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 root4096 Jan 7 06:24 ./
> drwxr-xr-x 3 root root4096 Jan 7 06:24 ../
> drwxr-xr-x 3 root root4096 Jan 7 06:24 boot/
> lrwxrwxrwx 1 root root7 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*
>
> then i created a file in /etc/grub.d/49_genode1
>
> cat 49_genode1
> #!/bin/sh -e
> echo "Genode@NOVA"
> cat << EOF
> menuentry "Genode@NOVA" {
> 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
> }
>
>
>
> Genode@NOVA 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
>
> I tried different possibilities but none of them is working , can i get
> some help please;
> thanks
>
>
>
> --
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org! http://sdm.link/slashdot
> ___
> genode-main mailing list
> genode-main@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
>
>
--
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main
Help : booting genode with nova: kernel not found
So i did the following :
i build genode with nova kernel on the / directory, i was able to start the
demo even though it got blocked probably lack of free memory,
mucomp:/genode$ ls
build build.lx demo doc *nova_d*ir repos VERSION
build1.lx contrib depot LICENSE README tool
then i created another genode directory in the boot directory where i
copied the whole /genode folder , and then i entered the /boot directory
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 root4096 Jan 7 06:24 ./
drwxr-xr-x 3 root root4096 Jan 7 06:24 ../
drwxr-xr-x 3 root root4096 Jan 7 06:24 boot/
lrwxrwxrwx 1 root root7 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*
then i created a file in /etc/grub.d/49_genode1
cat 49_genode1
#!/bin/sh -e
echo "Genode@NOVA"
cat << EOF
menuentry "Genode@NOVA" {
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
}
Genode@NOVA 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
I tried different possibilities but none of them is working , can i get
some help please;
thanks
--
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main
