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

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.