Problem building NOVA kernel

[Nobody III]

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 at ...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 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 |
> +---------------------------------------------------------+
>
>
> ------------------------------------------------------------------------------
>
> _______________________________________________
> genode-main mailing list
> genode-main at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20150816/fbab4d84/attachment.html>