Building 64 bits nova.

[Shlomo Pongratz]

Hi,

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?

Best regards,

S.P.