I am trying to get VirtualBox to compile with NOVA on my Ubuntu 14.04 system.

I have:

1. lonnie@...355...:~/genode$ tool/ports/prepare_port virtualbox

virtualbox  download http://download.virtualbox.org/virtualbox/4.3.16/VirtualBox-4.3.16.tar.bz2

virtualbox  extract VirtualBox-4.3.16.tar.bz2 (virtualbox)

virtualbox  download http://download.virtualbox.org/virtualbox/4.3.16/VirtualBoxSDK-4.3.16-95972.zip

virtualbox  extract VirtualBoxSDK-4.3.16-95972.zip (virtualbox_sdk)

2. lonnie@...355...:~/genode$ tool/ports/prepare_port libc

libc  download http://svn.freebsd.org/base/release/8.2.0/lib/libc

libc  download http://svn.freebsd.org/base/release/8.2.0/lib/libutil

libc  download http://svn.freebsd.org/base/release/8.2.0/include

libc  download http://svn.freebsd.org/base/release/8.2.0/sys/sys

libc  download http://svn.freebsd.org/base/release/8.2.0/sys/rpc

.

.

.

3. lonnie@...355...:~/genode/build/nova_x86_64$ make run/virtualbox

including /home/lonnie/genode/tool/run/boot_dir/nova

including /home/lonnie/genode/tool/run/power_on/qemu

including /home/lonnie/genode/tool/run/log/qemu

including /home/lonnie/genode/tool/run/image/iso

including /home/lonnie/genode/repos/ports/run/virtualbox.run

building targets: core init virtualbox drivers/framebuffer drivers/timer drivers/input drivers/rtc drivers/platform drivers/acpi server/report_rom drivers/platform/spec/x86/device_pd

spawn make core init virtualbox drivers/framebuffer drivers/timer drivers/input drivers/rtc drivers/platform drivers/acpi server/report_rom drivers/platform/spec/x86/device_pd

make[1]: Entering directory `/home/lonnie/genode/build/nova_x86_64'

checking library dependencies...

Skip target drivers/framebuffer/spec/exynos because it requires exynos

Skip target drivers/framebuffer/spec/imx53 because it requires imx53

Skip target drivers/framebuffer/spec/omap4 because it requires omap4

Skip target drivers/framebuffer/spec/pl11x/pbxa9 because it requires pl11x pbxa9

Skip target drivers/framebuffer/spec/rpi because it requires rpi

Skip target drivers/framebuffer/spec/sdl because it requires linux sdl

Skip target drivers/input/spec/imx53 because it requires imx53

Skip target drivers/input/spec/ps2/pl050 because it requires pl050

Skip target drivers/platform/spec/arndale because it requires arndale

Skip target drivers/platform/spec/imx53 because it requires imx53

Skip target drivers/platform/spec/odroid_x2 because it requires odroid_x2

Skip target drivers/platform/spec/rpi because it requires rpi

/home/lonnie/genode/repos/libports/lib/import/import-stdcxx.mk:8: *** Error: stdcxx is not prepared or outdated.  Stop.

make[1]: *** [traverse_dependencies] Error 1

make[1]: Leaving directory `/home/lonnie/genode/build/nova_x86_64'

Error: Genode build failed

make: *** [run/virtualbox] Error 252

I am getting an error with the stdcxx and am not sure what I might have missed.

Can someone please give me an idea as to what may be happening here?