From b11da676790c7c8926f1942a19e222d19bc13c78 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Wed, 3 Jun 2020 11:53:08 +0200
Subject: [PATCH] usb_hid: introduce cpu quota

Ref #3247
---
 repos/dde_linux/run/usb_hid.run | 19 +++++++------------
 1 file changed, 7 insertions(+), 12 deletions(-)

diff --git a/repos/dde_linux/run/usb_hid.run b/repos/dde_linux/run/usb_hid.run
index 2f9fe5143d..3a57a69830 100644
--- a/repos/dde_linux/run/usb_hid.run
+++ b/repos/dde_linux/run/usb_hid.run
@@ -86,7 +86,7 @@ create_boot_directory
 #
 
 append config {
-<config>
+<config prio_levels="2">
 	<parent-provides>
 		<service name="ROM"/>
 		<service name="IRQ"/>
@@ -102,24 +102,19 @@ append config {
 	</default-route>
 	<default caps="100"/>}
 
-append_if [have_spec gpio] config "
-	<start name=\"[gpio_drv]\" caps=\"150\">
-		<resource name=\"RAM\" quantum=\"4M\"/>
-		<provides><service name=\"Gpio\"/></provides>
-		<config/>
-	</start>"
-
 append_platform_drv_config
 
 append config {
-	<start name="timer">
+	<start name="timer" priority="0">
+		<resource name="CPU" quantum="10"/>
 		<resource name="RAM" quantum="1M"/>
 		<provides><service name="Timer"/></provides>
 	</start>
 
-	<start name="usb_drv" caps="150">
+	<start name="usb_drv" caps="150" priority="0">
 		<binary name="} [usb_drv_binary] {"/>
 		<resource name="RAM" quantum="12M"/>
+		<resource name="CPU" quantum="80"/>
 		<provides><service name="Input"/></provides>
 		<config uhci="yes" ohci="yes" ehci="yes" xhci="yes"
 		        capslock_led="rom" numlock_led="rom" scrlock_led="rom"
@@ -144,7 +139,7 @@ append config {
 		</route>
 	</start>
 
-	<start name="dynamic_rom">
+	<start name="dynamic_rom" priority="-1">
 		<resource name="RAM" quantum="4M"/>
 		<provides> <service name="ROM"/> </provides>
 		<config verbose="no">
@@ -176,7 +171,7 @@ append config {
 		</route>
 	</start>
 
-	<start name="test-input">
+	<start name="test-input" priority="-1">
 		<resource name="RAM" quantum="1M"/>
 	</start>
 </config>}