I have just been trying to compile Genode with NOVA and VirtualBox and ran into an error:
MERGE virtualbox-recompiler.lib.a
Library virtualbox-runtime
COMPILE Runtime/VBox/log-vbox.o
COMPILE Runtime/common/alloc/memcache.o
ASSEMBLE Runtime/common/asm/ASMAtomicCmpXchgU64.o
ASSEMBLE Runtime/common/asm/ASMAtomicReadU64.o
ASSEMBLE Runtime/common/asm/ASMAtomicUoReadU64.o
ASSEMBLE Runtime/common/asm/ASMAtomicXchgU64.o
COMPILE Runtime/common/checksum/md5.o
COMPILE Runtime/common/err/RTErrConvertFromErrno.o
CONVERT errmsgdata.h
COMPILE Runtime/common/err/errmsg.o
genode-x86-g++: error: Runtime/common/err/errmsg.cpp: No such file or directory
genode-x86-g++: fatal error: no input files
compilation terminated.
make[2]: *** [Runtime/common/err/errmsg.o] Error 1
make[1]: *** [virtualbox-runtime.lib] Error 2
make: *** [gen_deps_and_build_targets] Error 2
everything was proceeding well and I had completed all of the "make prepare" requirement and did the "make virtualbox"
I have the genode-toolchain-12.11-x86_64.tar.bz2 installed as well on my 64-bit Debian system which is running in VirtualBox on a test system for building as I want to generate an iso to boot into a machine to see how it works.
I would like to replicate the genode/nova/virtualbox demo done at FOSDEM to run some simple test OS's.