7 Apr
2020
7 Apr
'20
7:59 a.m.
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.