Hi All,
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.... 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?
Kind Regards and have a great day, Lonnie