From a540f55512019b1bda44500969c6f07f4d29b6b5 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Sun, 21 Aug 2016 15:53:36 +0200
Subject: [PATCH] framebuffer_app.inc: add scheduling constraints

Without the assignment of CPU quota, the priority definitions remain
without effect on base-hw, which may lead the USB driver on the
Raspberry Pi to get stuck in the presence of a time-consuming
application.
---
 run/framebuffer_app.inc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/run/framebuffer_app.inc b/run/framebuffer_app.inc
index 31787c7..37f2e8b 100644
--- a/run/framebuffer_app.inc
+++ b/run/framebuffer_app.inc
@@ -83,6 +83,7 @@ if {[have_spec framebuffer]} {
 append config {
 	<start name="fb_drv" priority="-1">
 		<resource name="RAM" quantum="6M"/>
+		<resource name="CPU" quantum="10"/>
 		<provides><service name="Framebuffer"/></provides>}
 append config $fb_config
 append config {
@@ -98,6 +99,7 @@ append_if [have_spec ps2] config {
 append_if [expr ![have_spec ps2] && [have_spec usb]] config {
 	<start name="usb_drv">
 		<resource name="RAM" quantum="12M"/>
+		<resource name="CPU" quantum="50"/>
 		<provides><service name="Input"/></provides>
 		<config ehci="yes" uhci="yes" xhci="no"> <hid/> </config>
 	</start> }
@@ -105,6 +107,7 @@ append_if [expr ![have_spec ps2] && [have_spec usb]] config {
 append config {
 	<start name="timer">
 		<resource name="RAM" quantum="1M"/>
+		<resource name="CPU" quantum="10"/>
 		<provides><service name="Timer"/></provides>
 	</start>}