Go to the root Genode directory (genode-15.05) and type "./tool/create_builddir nova_x86_64" (or nova_x86_32). Then build everything you want from the build directory created. If you need more details, genode.org has a page on getting started/building genode. On Aug 16, 2015 2:22 AM, "Thotheolh Tay" <twzgerald@...9...> wrote:
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@...344...:~/Desktop/genode-15.05$ ls* *build iso README Running In Terminal tool* *doc LICENSE repos Running In Terminal~ VERSION* *thotheolh@...344...:~/Desktop/genode-15.05$ cd build/* *thotheolh@...344...:~/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@...344...:~/Desktop/genode-15.05/build$ cd ..* *thotheolh@...344...:~/Desktop/genode-15.05$ ls* *build iso README Running In Terminal tool* *doc LICENSE repos Running In Terminal~ VERSION* *thotheolh@...344...:~/Desktop/genode-15.05$ cd repos/* *thotheolh@...344...:~/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@...344...:~/Desktop/genode-15.05/repos$ cd base-nova/* *thotheolh@...344...:~/Desktop/genode-15.05/repos/base-nova$ ls* *doc etc include lib Makefile mk patches ports README run src* *thotheolh@...344...:~/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@...344...:~/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@...344...:~/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