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