mirror of
https://github.com/genodelabs/genode.git
synced 2025-06-06 01:11:46 +00:00
parent
570156b38c
commit
82aa092dac
@ -46,7 +46,7 @@ append config {
|
|||||||
<route> <any-service> <parent/> </any-service> </route>
|
<route> <any-service> <parent/> </any-service> </route>
|
||||||
</start>
|
</start>
|
||||||
<start name="terminal_mux">
|
<start name="terminal_mux">
|
||||||
<resource name="RAM" quantum="2M"/>
|
<resource name="RAM" quantum="4M"/>
|
||||||
<provides>
|
<provides>
|
||||||
<service name="Terminal"/>
|
<service name="Terminal"/>
|
||||||
</provides>
|
</provides>
|
||||||
|
Loading…
x
Reference in New Issue
Block a user