Hi, I am trying to build a NOVA + Virtualbox combination scenario and I am getting an error:
*"make: *** No rule to make target `kernel'. Stop."* Below are the build log: *thotheolh@thotheolh-Ultra:~/Desktop/genode-15.05$ ls* *build iso README Running In Terminal tool* *doc LICENSE repos Running In Terminal~ VERSION* *thotheolh@thotheolh-Ultra:~/Desktop/genode-15.05$ cd build/* *thotheolh@thotheolh-Ultra:~/Desktop/genode-15.05/build$ ls* *app bootstrap drivers include kernel l4linux Makefile server test* *bin core etc init l4 lib progress.log sigma0 var* *thotheolh@thotheolh-Ultra:~/Desktop/genode-15.05/build$ cd ..* *thotheolh@thotheolh-Ultra:~/Desktop/genode-15.05$ ls* *build iso README Running In Terminal tool* *doc LICENSE repos Running In Terminal~ VERSION* *thotheolh@thotheolh-Ultra:~/Desktop/genode-15.05$ cd repos/* *thotheolh@thotheolh-Ultra:~/Desktop/genode-15.05/repos$ ls* *base base-hw base-pistachio dde_linux hello_tutorial ports-foc* *base-codezero base-linux base-sel4 dde_rump libports README* *base-fiasco base-nova dde_bsd demo os* *base-foc base-okl4 dde_ipxe gems ports* *thotheolh@thotheolh-Ultra:~/Desktop/genode-15.05/repos$ cd base-nova/* *thotheolh@thotheolh-Ultra:~/Desktop/genode-15.05/repos/base-nova$ ls* *doc etc include lib Makefile mk patches ports README run src* *thotheolh@thotheolh-Ultra:~/Desktop/genode-15.05/repos/base-nova$ make prepare* *make[1]: Entering directory `/home/thotheolh/Desktop/genode-15.05/repos/base-nova'* *nova download https://github.com/alex-ab/NOVA.git <https://github.com/alex-ab/NOVA.git>* *Cloning into 'src/kernel/nova'...* *remote: Counting objects: 4744, done.* *remote: Total 4744 (delta 0), reused 0 (delta 0), pack-reused 4744* *Receiving objects: 100% (4744/4744), 6.00 MiB | 188 KiB/s, done.* *Resolving deltas: 100% (3427/3427), done.* *nova update src/kernel/nova* *nova generate nova.hash* *make[1]: Leaving directory `/home/thotheolh/Desktop/genode-15.05/repos/base-nova'* *thotheolh@thotheolh-Ultra:~/Desktop/genode-15.05/repos/base-nova$ make prepare PKG=virtualbox* *make[1]: Entering directory `/home/thotheolh/Desktop/genode-15.05/repos/base-nova'* *nova update src/kernel/nova* *make[1]: Leaving directory `/home/thotheolh/Desktop/genode-15.05/repos/base-nova'* *thotheolh@thotheolh-Ultra:~/Desktop/genode-15.05/repos/base-nova$ make kernel* *make: *** No rule to make target `kernel'. Stop.* How should I build the kernel ? Thanks & Regards, Thotheolh. -- +---------------------------------------------------------+ | PGP Secure Email Key ID:6FBFC19D | +---------------------------------------------------------+
------------------------------------------------------------------------------
_______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
