ports: add VirtualBox as VMM for Genode

Operating Systems / Genode - Alexander Boettcher [genode-labs.com] - 28 February 2014 03:11 UTC

Fixes #1055

d8c2a90 ports: add VirtualBox as VMM for Genode
libports/ports/libc.mk | 2 +
ports/lib/import/import-virtualbox_libc_support.mk | 1 +
ports/lib/mk/foc/virtualbox-hwaccl.mk | 8 +
ports/lib/mk/linux/virtualbox-hwaccl.mk | 8 +
ports/lib/mk/nova/virtualbox-hwaccl.mk | 10 +
ports/lib/mk/okl4/virtualbox-hwaccl.mk | 8 +
ports/lib/mk/pistachio/virtualbox-hwaccl.mk | 8 +
ports/lib/mk/virtualbox-bios.mk | 37 +
ports/lib/mk/virtualbox-common.inc | 66 ++
ports/lib/mk/virtualbox-devices.mk | 77 ++
ports/lib/mk/virtualbox-dis.mk | 15 +
ports/lib/mk/virtualbox-drivers.mk | 16 +
ports/lib/mk/virtualbox-liblzf.mk | 8 +
ports/lib/mk/virtualbox-recompiler.mk | 29 +
ports/lib/mk/virtualbox-runtime.mk | 119 +++
ports/lib/mk/virtualbox-storage.mk | 16 +
ports/lib/mk/virtualbox-vmm.mk | 76 ++
ports/lib/mk/virtualbox-zlib.mk | 7 +
ports/lib/mk/virtualbox_libc_support.inc | 84 +++
ports/lib/mk/x86_32/virtualbox_libc_support.mk | 7 +
ports/lib/mk/x86_64/virtualbox_libc_support.mk | 7 +
ports/ports/virtualbox.inc | 5 +
ports/ports/virtualbox.mk | 81 +++
ports/run/virtualbox.run | 123 ++++
ports/src/virtualbox/accloff/sup.cc | 97 +++
ports/src/virtualbox/acpi.patch | 37 +
ports/src/virtualbox/acpi_drv.patch | 9 +
ports/src/virtualbox/acpi_more.patch | 21 +
ports/src/virtualbox/bios_logo.patch | 32 +
ports/src/virtualbox/cxx_dummies.cc | 45 ++
ports/src/virtualbox/devata.patch | 23 +
ports/src/virtualbox/devices.cc | 119 +++
ports/src/virtualbox/devpci.patch | 10 +
ports/src/virtualbox/drivers.cc | 47 ++
ports/src/virtualbox/dummies.cc | 317 ++++++++
ports/src/virtualbox/fake_pci_vendor.patch | 20 +
ports/src/virtualbox/guest_memory.h | 357 +++++++++
ports/src/virtualbox/hda.patch | 53 ++
ports/src/virtualbox/hwacc.patch | 16 +
ports/src/virtualbox/hwaccm.cc | 129 ++++
ports/src/virtualbox/include/SDLConsole.h | 246 +++++++
ports/src/virtualbox/include/SDLFramebuffer.h | 110 +++
ports/src/virtualbox/include/dtrace/VBoxVMM.h | 15 +
ports/src/virtualbox/include/list | 4 +
ports/src/virtualbox/include/map | 4 +
ports/src/virtualbox/include/product-generated.h | 10 +
ports/src/virtualbox/include/version-generated.h | 11 +
ports/src/virtualbox/iommio.cc | 76 ++
ports/src/virtualbox/ioport.cc | 273 +++++++
ports/src/virtualbox/libc.cc | 127 ++++
ports/src/virtualbox/logger.cc | 149 ++++
ports/src/virtualbox/main.cc | 214 ++++++
ports/src/virtualbox/mm.cc | 313 ++++++++
ports/src/virtualbox/nova/sup.cc | 234 ++++++
ports/src/virtualbox/nova/svm.h | 112 +++
ports/src/virtualbox/nova/vcpu.h | 756 ++++++++++++++++++++
ports/src/virtualbox/nova/vcpu_svm.h | 134 ++++
ports/src/virtualbox/nova/vcpu_vmx.h | 187 +++++
ports/src/virtualbox/nova/vmx.h | 172 +++++
ports/src/virtualbox/pdm.cc | 127 ++++
ports/src/virtualbox/pdm_queue_irqs.patch | 10 +
ports/src/virtualbox/pgm.cc | 583 +++++++++++++++
ports/src/virtualbox/rt.cc | 107 +++
ports/src/virtualbox/serial.patch | 13 +
ports/src/virtualbox/sup.cc | 210 ++++++
ports/src/virtualbox/sup.h | 76 ++
ports/src/virtualbox/target.mk | 34 +
ports/src/virtualbox/timer.patch | 10 +
ports/src/virtualbox/util.h | 39 +
ports/src/virtualbox/vbetables-gen.patch | 20 +
ports/src/virtualbox/vboxbfe.patch | 47 ++
ports/src/virtualbox/vga.patch | 12 +
ports/src/virtualbox/vga_fb.patch | 18 +
ports/src/virtualbox/vmdk.patch | 17 +
ports/src/virtualbox/vmm_memory.h | 202 ++++++
ports/src/virtualbox/vmmdev.patch | 28 +
ports/src/virtualbox/vmx_c++.patch | 63 ++
77 files changed, 6913 insertions(+)

Upstream: github.com

  • Share