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

Adjust quotas for seL4

This commit is contained in:
Norman Feske 2019-08-23 15:55:22 +02:00 committed by Christian Helmuth
parent 23f3112e3e
commit 1dd68ce04b
6 changed files with 10 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/gems/run/terminal_echo.run
View File

@ -42,7 +42,7 @@ install_config {
</provides>
</start>
<start name="terminal">
<start name="terminal" caps="110">
<resource name="RAM" quantum="2M"/>
<provides><service name="Terminal"/></provides>
<route>

4
repos/gems/run/terminal_log.run
View File

@ -65,7 +65,7 @@ install_config {
</start>
<start name="pointer">
<resource name="RAM" quantum="1M"/>
<resource name="RAM" quantum="2M"/>
</start>
<start name="terminal_fb">
@ -78,7 +78,7 @@ install_config {
<config xpos="0" ypos="0" width="640" height="480" refresh_rate="25"/>
</start>
<start name="terminal">
<start name="terminal" caps="110">
<resource name="RAM" quantum="3M"/>
<provides><service name="Terminal"/></provides>
<route>

4
repos/os/recipes/raw/drivers_interactive-pc/drivers.config
View File

@ -20,7 +20,7 @@
<service name="Input">
<default-policy> <child name="input_filter"/> </default-policy> </service>
<start name="acpi_drv" caps="300">
<start name="acpi_drv" caps="250">
<resource name="RAM" quantum="4M"/>
<route>
<service name="IO_MEM"> <parent/> </service>
@ -33,7 +33,7 @@
</route>
</start>
<start name="report_rom">
<start name="report_rom" caps="70">
<resource name="RAM" quantum="1M"/>
<provides>
<service name="ROM" />

2
repos/ports/run/noux_bash.run
View File

@ -61,7 +61,7 @@ install_config {
</provides>
</start>
<start name="terminal">
<start name="terminal" caps="110">
<resource name="RAM" quantum="2M"/>
<provides><service name="Terminal"/></provides>
<route>

4
repos/ports/run/noux_terminal_fs.run
View File

@ -106,7 +106,7 @@ install_config {
<config xpos="0" ypos="388" width="1024" height="380" refresh_rate="25"/>
</start>
<start name="terminal_noux">
<start name="terminal_noux" caps="110">
<binary name="terminal"/>
<resource name="RAM" quantum="2M"/>
<provides><service name="Terminal"/></provides>
@ -118,7 +118,7 @@ install_config {
</route>
</start>
<start name="terminal_test">
<start name="terminal_test" caps="110">
<binary name="terminal"/>
<resource name="RAM" quantum="2M"/>
<provides><service name="Terminal"/></provides>

4
repos/ports/run/noux_vim.run
View File

@ -84,7 +84,7 @@ install_config {
</start>
<start name="pointer">
<resource name="RAM" quantum="1M"/>
<resource name="RAM" quantum="2M"/>
<route>
<service name="Nitpicker"> <child name="nitpicker"/> </service>
<any-service> <parent/> <any-child/> </any-service>
@ -130,7 +130,7 @@ install_config {
</route>
</start>
<start name="terminal">
<start name="terminal" caps="110">
<resource name="RAM" quantum="2M"/>
<provides><service name="Terminal"/></provides>
<config copy="yes" paste="yes">