mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-20 17:52:52 +00:00
parent
ef732f480f
commit
429d078de7
@ -45,7 +45,7 @@ append config {
|
||||
|
||||
<start name="file_terminal">
|
||||
<binary name="file_terminal"/>
|
||||
<resource name="RAM" quantum="2096K"/>
|
||||
<resource name="RAM" quantum="3M"/>
|
||||
<provides> <service name="Terminal"/> </provides>
|
||||
<config>
|
||||
<default-policy filename="log" />
|
||||
|
Loading…
x
Reference in New Issue
Block a user