mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 21:57:55 +00:00
parent
2b3a2b875b
commit
666a66e327
@ -175,7 +175,7 @@ append config {
|
|||||||
</start>
|
</start>
|
||||||
|
|
||||||
<start name="platform" caps="100" managing_system="yes">
|
<start name="platform" caps="100" managing_system="yes">
|
||||||
<resource name="RAM" quantum="1M"/>
|
<resource name="RAM" quantum="2M"/>
|
||||||
<provides> <service name="Platform"/> </provides>
|
<provides> <service name="Platform"/> </provides>
|
||||||
<route>
|
<route>
|
||||||
<service name="ROM" label="devices"> <child name="report_rom"/> </service>
|
<service name="ROM" label="devices"> <child name="report_rom"/> </service>
|
||||||
|
Loading…
Reference in New Issue
Block a user