Problem building NOVA kernel

[Thotheolh Tay]

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 at ...344...:~/Desktop/genode-15.05$ ls*
*build  iso      README  Running In Terminal   tool*
*doc    LICENSE  repos   Running In Terminal~  VERSION*
*thotheolh at ...344...:~/Desktop/genode-15.05$ cd build/*
*thotheolh at ...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 at ...344...:~/Desktop/genode-15.05/build$ cd ..*
*thotheolh at ...344...:~/Desktop/genode-15.05$ ls*
*build  iso      README  Running In Terminal   tool*
*doc    LICENSE  repos   Running In Terminal~  VERSION*
*thotheolh at ...344...:~/Desktop/genode-15.05$ cd repos/*
*thotheolh at ...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 at ...344...:~/Desktop/genode-15.05/repos$ cd base-nova/*
*thotheolh at ...344...:~/Desktop/genode-15.05/repos/base-nova$ ls*
*doc  etc  include  lib  Makefile  mk  patches  ports  README  run  src*
*thotheolh at ...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 at ...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 at ...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 |
+---------------------------------------------------------+
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20150816/646d68fc/attachment.html>