running virtualbox5 on genode

fixed-term.peter.jacobi at fixed-term.peter.jacobi at
Mon Oct 19 12:07:33 CEST 2020

My name is Peter new to Genode and just trying to run the script, btw. any of the scripts in genode/repos/ports/run/ are giving me the same result.
It seems that the building works fine but I get no kind of output. A help and some indication on my wrong'ings would be much apreciated.
My execution command: make run/vbox5_win10_64 KERNEL=nova BOARD=x86_64
My "build.conf" file and the building output called "out" are attached.
My work operating system is Linux Ubuntu 20.04.
My goal, create an mikrokernel with genode-framework starting 2 linux Virtualbox applications creating a simple communication between them.
Best regards,
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: out
Type: application/octet-stream
Size: 201798 bytes
Desc: not available
URL: <>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: build.conf
URL: <>

More information about the users mailing list