Alexander Boettcher d8c2a908b8 ports: add VirtualBox as VMM for Genode ...

Fixes #1055

2014-02-28 10:11:12 +01:00

..

fiasco_x86

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00

foc

ports: add VirtualBox as VMM for Genode

2014-02-28 10:11:12 +01:00

foc_arm

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00

foc_x86_32

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00

linux

ports: add VirtualBox as VMM for Genode

2014-02-28 10:11:12 +01:00

linux_x86_32

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00

nova

ports: add VirtualBox as VMM for Genode

2014-02-28 10:11:12 +01:00

nova_x86_32

Enable gdb_monitor for NOVA

2012-08-30 10:40:00 +02:00

okl4

ports: add VirtualBox as VMM for Genode

2014-02-28 10:11:12 +01:00

okl4_x86

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00

pistachio

ports: add VirtualBox as VMM for Genode

2014-02-28 10:11:12 +01:00

pistachio_x86

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00

x86_32

ports: add VirtualBox as VMM for Genode

2014-02-28 10:11:12 +01:00

x86_64

ports: add VirtualBox as VMM for Genode

2014-02-28 10:11:12 +01:00

gdbserver_libc_support.mk

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00

gdbserver_platform.inc

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00

libc_noux.mk

base: setup thread object for main thread in CRT0

2014-02-25 14:58:05 +01:00

seoul_libc_support.mk

Add 'seoul_libc_support' library

2013-03-18 13:09:16 +01:00

virtualbox_libc_support.inc

ports: add VirtualBox as VMM for Genode

2014-02-28 10:11:12 +01:00

virtualbox-bios.mk

ports: add VirtualBox as VMM for Genode

2014-02-28 10:11:12 +01:00

virtualbox-common.inc

ports: add VirtualBox as VMM for Genode

2014-02-28 10:11:12 +01:00

virtualbox-devices.mk

ports: add VirtualBox as VMM for Genode

2014-02-28 10:11:12 +01:00

virtualbox-dis.mk

ports: add VirtualBox as VMM for Genode

2014-02-28 10:11:12 +01:00

virtualbox-drivers.mk

ports: add VirtualBox as VMM for Genode

2014-02-28 10:11:12 +01:00

virtualbox-liblzf.mk

ports: add VirtualBox as VMM for Genode

2014-02-28 10:11:12 +01:00

virtualbox-recompiler.mk

ports: add VirtualBox as VMM for Genode

2014-02-28 10:11:12 +01:00

virtualbox-runtime.mk

ports: add VirtualBox as VMM for Genode

2014-02-28 10:11:12 +01:00

virtualbox-storage.mk

ports: add VirtualBox as VMM for Genode

2014-02-28 10:11:12 +01:00

virtualbox-vmm.mk

ports: add VirtualBox as VMM for Genode

2014-02-28 10:11:12 +01:00

virtualbox-zlib.mk

ports: add VirtualBox as VMM for Genode

2014-02-28 10:11:12 +01:00