alex/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

terminal_echo.run: Adjust timer quota

Browse Source
This commit is contained in:
Norman Feske
2013-12-29 01:03:17 +01:00
committed by Christian Helmuth
parent 4f9be09643
commit 64a9a53c98
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
gems/run/terminal_echo.run
View File

@@ -55,7 +55,7 @@ append_if [have_spec ps2] config {
append config { append config {
<start name="timer"> <start name="timer">
<resource name="RAM" quantum="512K"/> <resource name="RAM" quantum="1M"/>
<provides><service name="Timer"/></provides> <provides><service name="Timer"/></provides>
</start> </start>
<start name="terminal"> <start name="terminal">