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@...52...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'
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@...12...ceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main