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. _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
