Library-description file virtualbox-hwaccl.mk is missing

[Andrey Voronin]

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?