Re: Building 64 bits nova.

Hello Shlomo,

In the webpage https://genode.org/documentation/platforms/nova the instructions are as follows; ./tool/ports/prepare_port nova ./tool/ports/prepare_port x86emu <genode-dir>/tool/create_builddir nova_x86_32 BUILD_DIR=<build-dir>

Now since both x86emu and Nova supports x86_64 I wonder is just replacing to nove_x86_64 will do the magic?

please let me refer to the corresponding section of the Genode Foundations book. It is more comprehensive and more recent than the (admittedly rather stale) page you followed:

https://genode.org/documentation/genode-foundations/19.05/getting_started/in...

Sorry about leaving the stale documentation online. I'm going to remove it.

Cheers Norman