mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-08 20:05:54 +00:00
parent
c8322ffd2a
commit
b11da67679
@ -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>}
|
||||
|
Loading…
x
Reference in New Issue
Block a user