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 <halu.hala.halu@...9...> 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_dir  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 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*

then i created a file in /etc/grub.d/49_genode1

cat 49_genode1 
#!/bin/sh -e
echo "Genode@...52...153..."
cat << EOF
menuentry "Genode@...141....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
}



Genode@...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 

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@...172...net
https://lists.sourceforge.net/lists/listinfo/genode-main