vbox: support to disable acpi

Issue #1201
2014-07-08 12:51:15 +02:00 · 2014-07-08 12:51:15 +02:00 · 46124546f0
parent 761f0498a9
commit 46124546f0
2 changed files with 7 additions and 0 deletions
--- a/repos/ports/run/virtualbox.run
+++ b/repos/ports/run/virtualbox.run
@ -91,6 +91,7 @@ append config {
 		<config>
 			<image type="iso" file="test.iso" />
 <!--			<ioapic/> -->
+<!--			<noacpi/> -->
 			<libc stdout="/dev/log" stderr="/dev/log">
 				<vfs>
 					<dir name="dev"> <log/> </dir>
--- a/repos/ports/src/virtualbox/main.cc
+++ b/repos/ports/src/virtualbox/main.cc
@ -206,6 +206,12 @@ int main()
 	if (bOverlay)
 		args.add("-overlay");

+	/* disable acpi support if requested */
+	try {
+		Genode::Xml_node node = Genode::config()->xml_node().sub_node("noacpi");
+		args.add("-noacpi");
+	} catch (...) { }
+
 	/* ioapic support */
 	try {
 		Genode::Xml_node node = Genode::config()->xml_node().sub_node("ioapic");