I'm build GENODE with Muen kernel - hw_x86_64_muen. My host system is Linux Mint 17.2 64-bit.
make -j8 run/virtualbox including /home/user/genode-turmvilla/tool/run/boot_dir/hw including /home/user/genode-turmvilla/tool/run/power_on/qemu including /home/user/genode-turmvilla/tool/run/log/qemu including /home/user/genode-turmvilla/tool/run/image/iso including /home/user/genode-turmvilla/repos/ports/run/virtualbox.run building targets: core init virtualbox drivers/framebuffer drivers/timer drivers/input drivers/rtc drivers/platform spawn make core init virtualbox drivers/framebuffer drivers/timer drivers/input drivers/rtc drivers/platform make[1]: Вход в каталог `/home/user/genode-turmvilla/muen' make[1]: предупреждение: сервер задач недоступен: используется -j1. Добавьте `+' к правилу в родительском make. checking library dependencies... Skip target drivers/framebuffer/exynos5 because it requires exynos5 Skip target drivers/framebuffer/imx53 because it requires imx53 Skip target drivers/framebuffer/omap4 because it requires omap4 Skip target drivers/framebuffer/pl11x/pbxa9 because it requires pl11x platform_pbxa9 Skip target drivers/framebuffer/pl11x/vpb926 because it requires pl11x platform_vpb926 Skip target drivers/framebuffer/rpi because it requires platform_rpi Skip target drivers/framebuffer/sdl because it requires linux sdl Skip target drivers/input/imx53 because it requires imx53 Skip target drivers/input/ps2/pl050 because it requires pl050 Skip target drivers/platform/arndale because it requires platform_arndale Skip target drivers/platform/imx53 because it requires imx53 Skip target drivers/platform/odroid_x2 because it requires platform_odroid_x2 Skip target drivers/platform/rpi because it requires platform_rpi Skip target drivers/platform/x86/device_pd because it requires nova Library-description file virtualbox-hwaccl.mk is missing Library platform Library cxx Library base-common Library syscall Library startup Library base Library blit Library x86emu Library config Program drivers/framebuffer/vesa/fb_drv Library server Program drivers/input/dummy/dummy_input_drv Program drivers/input/ps2/x86/ps2_drv Program drivers/platform/x86/platform_drv Program drivers/rtc/x86/rtc_drv Library alarm Library timer Program drivers/timer/timer Library init_pd_args Program init/init Library core-perf_counter Library core-muen_on COMPILE version.o MERGE core-muen_on.lib.a Library core-muen Library core Program core/core LINK core make[1]: Выход из каталога `/home/user/genode-turmvilla/muen' genode build completed cp: не удалось выполнить stat для «bin/virtualbox»: Нет такого файла или каталога while executing "exec cp bin/$binary [run_dir]/genode" (procedure "copy_and_strip_genode_binaries_to_run_dir" line 4) invoked from within "copy_and_strip_genode_binaries_to_run_dir $binaries" (procedure "run_boot_dir" line 14) invoked from within "run_boot_dir $binaries" (procedure "build_boot_image" line 2) invoked from within "build_boot_image $boot_modules" (file "/home/user/genode-turmvilla/repos/ports/run/virtualbox.run" line 152) invoked from within "source $include_name" ("foreach" body line 6) invoked from within "foreach include_name [get_cmd_arg --include ""] { # first check if the include name is absolute if {[string first "/" $include_name] == 0} { puts ..." (file "/home/user/genode-turmvilla/tool/run/run" line 636) make: *** [run/virtualbox] Ошибка 1
What could be the problem?