GENODE_DIR    = /home/wss/Desktop/genode

BASE_DIR      = $(GENODE_DIR)/repos/base

CONTRIB_DIR   = $(GENODE_DIR)/contrib

#

# Prevent Qemu from using KVM

#

# Qemu version that come with major Linux distributions (i.e., Ubuntu) enable

# KVM by default. To use Qemu without KVM, Qemu must be started with the

# '-no-kvm' argument. However, if your Qemu version does not support this

# argument, comment-out this line.

#

QEMU_OPT     += -no-kvm

##

## Kernel-specific base repository

##

REPOSITORIES  = $(GENODE_DIR)/repos/base-nova

##

## Kernel-specific run tool configuration

##

RUN_OPT = --include boot_dir/nova \

          --include power_on/qemu --include log/qemu --include image/iso

#

# The current NOVA kernel build is optimized for Intel Core2 Duo.

#

QEMU_OPT     += -cpu core2duo

##

## Repositories needed for the default demo scenario

##

REPOSITORIES += $(GENODE_DIR)/repos/base

REPOSITORIES += $(GENODE_DIR)/repos/os

REPOSITORIES += $(GENODE_DIR)/repos/demo

##

## Optional repositories

##

#

# Ports of popular open-source libraries and the C library.

#

# Make sure to execute 'make prepare' in 'libports' prior building.

#

REPOSITORIES += $(GENODE_DIR)/repos/libports

#

# Ports of popular 3rd-party applications

#

# The 'ports' repository depends on 'libc' and 'libports'.

# Make sure to execute 'make prepare' in 'ports' prior building.

#

REPOSITORIES += $(GENODE_DIR)/repos/ports

#

# Ports of the Linux TCP/IP stack and Linux drivers (USB) from the Linux kernel

#

REPOSITORIES += $(GENODE_DIR)/repos/dde_linux

#

# NetBSD file-system support

#

REPOSITORIES += $(GENODE_DIR)/repos/dde_rump

#

# High-level Genode-specific services and applications

#

# The 'gems' repository depends on 'libc' and 'libports'.

#

REPOSITORIES += $(GENODE_DIR)/repos/gems

#

# Drivers ported from the OpenBSD

#

REPOSITORIES += $(GENODE_DIR)/repos/dde_bsd

#

# Drivers ported from iPXE

#

REPOSITORIES += $(GENODE_DIR)/repos/dde_ipxe

QEMU_OPT += -display sdl

wss@...351... ~/Desktop/genode/builds/nova/01092015v1 $ make run/virtualboxincluding /home/wss/Desktop/genode/tool/run/boot_dir/nova
including /home/wss/Desktop/genode/tool/run/power_on/qemu
including /home/wss/Desktop/genode/tool/run/log/qemu
including /home/wss/Desktop/genode/tool/run/image/iso
including /home/wss/Desktop/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/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/x86/device_pd
make[1]: Entering directory `/home/wss/Desktop/genode/builds/nova/01092015v1'
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 virtualbox because it requires installation_of_yasm installation_of_iasl
  Library platform
  Library cxx
  Library syscall
  Library startup
  Library base-common
  Library base
  Program drivers/acpi/x86/acpi_drv
  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/device_pd/device_pd
  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
  Program server/report_rom/report_rom
  Library core
  Program core/core
    COMPILE  version.o
    LINK     core
make[1]: Leaving directory `/home/wss/Desktop/genode/builds/nova/01092015v1'
genode build completed
cp: cannot stat ‘bin/virtualbox’: No such file or directory
    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 6)
    invoked from within
"run_boot_dir $binaries"
    (procedure "build_boot_image" line 2)
    invoked from within
"build_boot_image $boot_modules"
    (file "/home/wss/Desktop/genode/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/wss/Desktop/genode/tool/run/run" line 636)
make: *** [run/virtualbox] Error 1