Adrian-Ken Rueegsegger 6d28ea1c5c vbox: Add platform-specific setup machine hook ...

Add call to genode_setup_machine prior to machine registration in
frontend machine setup code. This enables platform-specific adjustments
to the machine instance.

The new function is used on hw_x86_64_muen to clamp the processor count
to 1 as multiple virtual CPUs are not supported on this platform.

Issue #2016

2016-07-06 13:02:56 +02:00

..

spec

vbox: Add platform-specific setup machine hook

2016-07-06 13:02:56 +02:00

gdbserver_libc_support.mk

GDB monitor: stability improvements

2016-05-23 15:52:49 +02:00

gdbserver_platform.inc

GDB monitor: x86_64 support

2016-05-23 15:52:49 +02:00

libc_noux.mk

libc_noux: remove dependency on 'platform_env.h'

2015-05-26 09:39:47 +02:00

seoul_libc_support.mk

libports: migrate to new ports mechanism

2014-05-27 11:14:42 +02:00

virtualbox-bios.mk

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

virtualbox-common.inc

vbox: add AHCI model

2016-06-28 11:09:26 +02:00

virtualbox-devices.mk

vbox: add AHCI model

2016-06-28 11:09:26 +02:00

virtualbox-dis.mk

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

virtualbox-drivers.mk

vbox: enable preliminary audio support

2015-08-21 11:00:57 +02:00

virtualbox-hwaccl-off.inc

vbox: Add platform-specific setup machine hook

2016-07-06 13:02:56 +02:00

virtualbox-liblzf.mk

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

virtualbox-main.mk

vbox: Add platform-specific setup machine hook

2016-07-06 13:02:56 +02:00

virtualbox-recompiler.mk

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

virtualbox-runtime.mk

vbox: Provide implementation of RTErrCOMGet

2016-06-22 12:17:18 +02:00

virtualbox-storage.mk

vbox: update to virtualbox 4.3.16

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

virtualbox-vmm.mk

vbox: enable usb support for guests

2015-03-13 12:17:23 +01:00

virtualbox-xml.mk

vbox: update to virtualbox 4.3.16

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

virtualbox-zlib.mk

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00