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, 2014). Regards -- 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 genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main