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" <twzger...@gmail.com> 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@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 > >
------------------------------------------------------------------------------
_______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
