make run/virtualbox
including /home/janardhan/genode/tool/run/power_on/qemu
including /home/janardhan/genode/tool/run/log/qemu
including /home/janardhan/genode/tool/run/image/iso
including /home/janardhan/genode/tool/run/boot_dir/nova
including /home/janardhan/genode/repos/ports/run/virtualbox.run
building targets: core init drivers/framebuffer drivers/timer virtualbox drivers/input server/log_terminal drivers/rtc drivers/platform drivers/acpi server/report_rom drivers/platform/spec/x86/device_pd
spawn make core init drivers/framebuffer drivers/timer virtualbox drivers/input server/log_terminal drivers/rtc drivers/platform drivers/acpi server/report_rom drivers/platform/spec/x86/device_pd
make[1]: Entering directory `/home/janardhan/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
Skip target drivers/timer/fiasco because it requires fiasco
Skip target drivers/timer/foc because it requires foc
Skip target drivers/timer/hw because it requires hw
Skip target drivers/timer/linux because it requires linux
Skip target virtualbox/muen because it requires muen
Library-description file libc.mk is missing
Library-description file libm.mk is missing
Library-description file libc-mem.mk is missing
Library-description file stdcxx.mk is missing
Library-description file pthread.mk is missing
Library-description file libc_terminal.mk is missing
Library-description file libc_pipe.mk is missing
Library-description file libiconv.mk is missing
Library-description file qemu-usb.mk is missing
  Library ldso-startup
  Library ld
  Library base
  Program drivers/acpi/spec/x86/acpi_drv
  Program drivers/input/dummy/dummy_input_drv
  Program drivers/input/spec/ps2/x86/ps2_drv
  Library startup-nova
  Library base-nova-common
  Library cxx
  Library base-nova
  Program drivers/platform/spec/x86/device_pd/device_pd
  Program drivers/platform/spec/x86/platform_drv
  Program drivers/rtc/spec/x86/rtc_drv
  Library alarm
  Library timeout
  Program drivers/timer/nova/nova_timer_drv
  Program drivers/timer/pit/pit_timer_drv
  Program init/init
  Program server/log_terminal/log_terminal
  Program server/report_rom/report_rom
  Library core-nova
    COMPILE  version.o
    MERGE    core-nova.lib.a
  Program core/nova/core
make[1]: Leaving directory `/home/janardhan/genode/build/nova_x86_64'
genode build completed
building targets:  lib/ld/nova kernel
spawn make lib/ld/nova kernel
make[1]: Entering directory `/home/janardhan/genode/build/nova_x86_64'
checking library dependencies...
  Library cxx
  Library alarm
  Library timed_semaphore
  Library config
  Library startup-nova
  Library base-nova-common
  Library base-nova
  Library ldso-startup
  Library ld-nova
  Program lib/ld/nova/ld-nova
  Program kernel/nova/hypervisor
make[1]: Leaving directory `/home/janardhan/genode/build/nova_x86_64'
genode build completed
using 'ld-nova.lib.so' as 'ld.lib.so'
using 'nova_timer_drv' as 'timer'
cp: cannot stat ‘bin/virtualbox-nova’: No such file or directory
    while executing
"exec cp bin/[kernel_specific_binary $binary] [run_dir]/genode/$binary"
    (procedure "copy_and_strip_genode_binaries_to_run_dir" line 4)
    invoked from within
"copy_and_strip_genode_binaries_to_run_dir $modules"
    (procedure "build_core_image" line 8)
    invoked from within
"build_core_image $binaries"
    (procedure "run_boot_dir" line 12)
    invoked from within
"run_boot_dir $binaries"
    (procedure "build_boot_image" line 2)
    invoked from within
"build_boot_image $boot_modules"
    (file "/home/janardhan/genode/repos/ports/run/virtualbox.run" line 181)
    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/janardhan/genode/tool/run/run" line 809)
make: *** [run/virtualbox] Error 1