rpi usb host driver is now legacy

Ref genodelabs/genode#4416
genodelabs · Feb 11, 2022 · a691cb9 · a691cb9
1 parent da2a7b8
commit a691cb9
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 6 deletions.
diff --git a/recipes/pkg/drivers_interactive-rpi/archives b/recipes/pkg/drivers_interactive-rpi/archives
@@ -4,4 +4,4 @@ _/src/report_rom
 _/src/rpi_fb_drv
 _/src/rpi_platform_drv
 _/src/usb_hid_drv
-_/src/usb_host_drv
+_/src/legacy_usb_host_drv
diff --git a/recipes/pkg/drivers_nic-rpi/archives b/recipes/pkg/drivers_nic-rpi/archives
@@ -1,4 +1,4 @@
 _/src/rpi_platform_drv
-_/src/usb_host_drv
+_/src/legacy_usb_host_drv
 _/src/usb_net_drv
 _/raw/drivers_nic-rpi
diff --git a/recipes/raw/drivers_interactive-rpi/drivers.config b/recipes/raw/drivers_interactive-rpi/drivers.config
@@ -68,7 +68,7 @@
 	</start>
 
 	<start name="usb_drv" caps="150">
-		<binary name="rpi_usb_host_drv"/>
+		<binary name="legacy_rpi_usb_host_drv"/>
 		<resource name="RAM" quantum="12M"/>
 		<provides> <service name="Usb"/> </provides>
 		<config bios_handoff="yes">

diff --git a/recipes/raw/drivers_nic-rpi/drivers.config b/recipes/raw/drivers_nic-rpi/drivers.config
@@ -28,7 +28,7 @@
 				<irq number="9"/>
 				<power-domain name="usb"/>
 			</device>
-			<policy label_prefix="rpi_usb_host_drv" info="yes">
+			<policy label_prefix="legacy_rpi_usb_host_drv" info="yes">
 				<device name="dwc_otg"/>
 			</policy>
 		</config>
@@ -44,7 +44,7 @@
 		</route>
 	</start>
 
-	<start name="rpi_usb_host_drv" caps="120">
+	<start name="legacy_rpi_usb_host_drv" caps="120">
 		<resource name="RAM" quantum="10M"/>
 		<provides> <service name="Usb"/> </provides>
 		<config bios_handoff="yes">
@@ -72,7 +72,7 @@
 			<service name="LOG">    <parent/> </service>
 			<service name="Timer">  <parent/> </service>
 			<service name="Uplink"> <parent/> </service>
-			<service name="Usb">    <child name="rpi_usb_host_drv"/> </service>
+			<service name="Usb">    <child name="legacy_rpi_usb_host_drv"/> </service>
 		</route>
 	</start>