Hello again,

On Wed, Sep 21, 2016 at 07:18:15PM -0400, Paul Dufresne wrote:
> This was freshly downloaded zip file from HEAD (
> https://github.com/udosteinberg/NOVA ).

For Genode, the NOVA version defined in nova.port and prepared by

  $(GENODE_DIR)/tool/ports/prepare_port nova

is mandatory and you will run into issues after the kernel bootstrap.
Also, the upstream version is rather old (last commit from Jul 2,

Christian Helmuth
Genode Labs

https://www.genode-labs.com/ · https://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

genode-main mailing list

Reply via email to