From fe009fd66d28633c63768c5663800a1c9e7402e5 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Wed, 2 Feb 2022 16:47:43 +0100
Subject: [PATCH] usb_hid_raw: add configuration for rpi_platform_drv

Ref #4396
---
 repos/dde_linux/run/usb_hid_raw.run | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/repos/dde_linux/run/usb_hid_raw.run b/repos/dde_linux/run/usb_hid_raw.run
index 042801ac8b..64eabc9a68 100644
--- a/repos/dde_linux/run/usb_hid_raw.run
+++ b/repos/dde_linux/run/usb_hid_raw.run
@@ -82,6 +82,9 @@ proc platform_drv_config_non_x86 {} {
 	}
 	if {[have_board rpi]} {
 		return {
+			<device name="mbox" type="broadcom-mbox">
+				<io_mem address="0x2000b800" size="0x1000"/>
+			</device>
 			<device name="dwc_otg" type="brcm,bcm2835-usb">
 				<io_mem       address="0x20980000" size="0x10000"/>
 				<irq          number="9"/>
@@ -147,7 +150,10 @@ if { [have_spec x86] } { append_platform_drv_config
 append config "<start name=\"[platform_drv_binary_non_x86]\" managing_system=\"yes\">"
 append config {
 		<resource name="RAM" quantum="1M"/>
-		<provides><service name="Platform"/></provides>
+		<provides>
+			<service name="Platform"/>
+			<service name="Rpi_mbox"/>
+		</provides>
 		<config>
 }
 append config "[platform_drv_config_non_x86]"