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


Regards,

Janardhan.V