mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
Increase quota of d3m
This commit is contained in:
@@ -66,7 +66,7 @@ set config {
|
||||
<provides><service name="Timer"/></provides>
|
||||
</start>
|
||||
<start name="d3m">
|
||||
<resource name="RAM" quantum="16M"/>
|
||||
<resource name="RAM" quantum="26M"/>
|
||||
<provides>
|
||||
<service name="Input"/>
|
||||
<service name="Nic"/>
|
||||
|
||||
Reference in New Issue
Block a user