mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
@@ -248,7 +248,7 @@ proc drivers_start_nodes { feature_arg } {
|
||||
|
||||
append start_nodes {
|
||||
<start name="input_filter">
|
||||
<resource name="RAM" quantum="1M" />
|
||||
<resource name="RAM" quantum="1280K" />
|
||||
<provides> <service name="Input" /> </provides>
|
||||
<config>}
|
||||
append_if [use_ps2_drv feature] start_nodes {
|
||||
|
||||
@@ -23,7 +23,7 @@
|
||||
</start>
|
||||
|
||||
<start name="input_filter" caps="80">
|
||||
<resource name="RAM" quantum="1M"/>
|
||||
<resource name="RAM" quantum="1280K"/>
|
||||
<provides> <service name="Input"/> </provides>
|
||||
<route>
|
||||
<service name="ROM" label="config"> <parent label="input_filter.config"/> </service>
|
||||
|
||||
@@ -88,7 +88,7 @@
|
||||
</start>
|
||||
|
||||
<start name="input_filter" caps="80">
|
||||
<resource name="RAM" quantum="1M"/>
|
||||
<resource name="RAM" quantum="1280K"/>
|
||||
<provides> <service name="Input"/> </provides>
|
||||
<route>
|
||||
<service name="ROM" label="config"> <parent label="input_filter.config"/> </service>
|
||||
|
||||
@@ -33,7 +33,7 @@
|
||||
</start>
|
||||
|
||||
<start name="input_filter" caps="80">
|
||||
<resource name="RAM" quantum="1M"/>
|
||||
<resource name="RAM" quantum="1280K"/>
|
||||
<provides> <service name="Input"/> </provides>
|
||||
<route>
|
||||
<service name="ROM" label="config"> <parent label="input_filter.config"/> </service>
|
||||
|
||||
Reference in New Issue
Block a user