alex/genode-world
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

framebuffer_app.inc: add scheduling constraints

Browse Source 
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.
This commit is contained in:
Norman Feske
2016-08-21 15:53:36 +02:00
parent 39ea3e209c
commit a540f55512
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
run/framebuffer_app.inc
View File

@@ -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>}