From 8dbf449b91d94efaf6b51f6b7cd712ee271c633d Mon Sep 17 00:00:00 2001
From: Adrian-Ken Rueegsegger <ken@codelabs.ch>
Date: Wed, 1 Jun 2016 15:48:05 +0200
Subject: [PATCH] Add fake usb_devices report ROM to virtualbox.run

---
 repos/ports/run/virtualbox.run | 31 +++++++++++++++++++++++++++++--
 1 file changed, 29 insertions(+), 2 deletions(-)

diff --git a/repos/ports/run/virtualbox.run b/repos/ports/run/virtualbox.run
index 82efb64f7..6ee2ef9cd 100644
--- a/repos/ports/run/virtualbox.run
+++ b/repos/ports/run/virtualbox.run
@@ -7,6 +7,7 @@ set build_components {
 	core init virtualbox
 	drivers/framebuffer
 	drivers/timer
+	server/report_rom
 }
 
 source ${genode_dir}/repos/base/run/platform_drv.inc
@@ -58,9 +59,15 @@ append_if [expr $use_ps2] config {
 append_if [expr $use_usb] config {
 	<start name="usb_drv" priority="-1">
 		<resource name="RAM" quantum="7M"/>
-		<provides><service name="Input"/></provides>
+		<provides>
+			<service name="Input"/>
+			<service name="Usb"/>
+		</provides>
 		<config uhci="yes" ehci="yes" xhci="yes">
 			<hid/>
+			<raw>
+				<report devices="yes"/>
+			</raw>
 		</config>
 	</start>}
 
@@ -104,6 +111,19 @@ append_if [expr $use_serial] config {
 }
 
 append config {
+	<start name="report_rom" priority="-1">
+		<resource name="RAM" quantum="1M"/>
+		<provides>
+			<service name="Report"/>
+			<service name="ROM"/>
+		</provides>
+		<config>
+			<rom>
+				<policy label="virtualbox -> usb_devices" report="foobar"/>
+			</rom>
+		</config>
+	</start>
+
 	<start name="virtualbox" priority="-2">
 		<resource name="RAM" quantum="448M"/>
 		<config vbox_file="test.vbox" vm_name="TestVM">
@@ -120,6 +140,13 @@ append config {
 				</vfs>
 			</libc>
 		</config>
+		<route>
+			<service name="Report"><child name="report_rom" /></service>
+			<service name="ROM">
+				<if-arg key="label" value="usb_devices"/> <child name="report_rom"/>
+			</service>
+			<any-service> <parent/> <any-child /> </any-service>
+		</route>
 	</start>
 </config>
 }
@@ -128,7 +155,7 @@ install_config $config
 
 exec cp ${genode_dir}/repos/ports/run/test.vbox bin/.
 
-set boot_modules { core init timer virtualbox test.iso test.vbox }
+set boot_modules { core init timer virtualbox test.iso test.vbox report_rom }
 
 # platform-specific modules
 lappend_if [expr         $use_usb] boot_modules usb_drv