denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

ports: assign caps in genode_org.run, lighttpd.run

Browse Source
This commit is contained in:
Norman Feske
2017-07-25 13:50:05 +02:00
committed by Christian Helmuth
parent 31cffe52a6
commit 1f679cdffe
2 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
repos/ports/run/genode_org.run
View File

@@ -56,6 +56,7 @@ append config {
<default-route>
<any-service> <parent/> <any-child/> </any-service>
</default-route>
<default caps="100"/>
<start name="timer">
<resource name="RAM" quantum="1M"/>
<provides><service name="Timer"/></provides>
@@ -89,7 +90,7 @@ append_if $use_nic_driver config {
append_platform_drv_config
append config {
<start name="lighttpd">
<start name="lighttpd" caps="1000">
<resource name="RAM" quantum="1G" />
<config>
<arg value="lighttpd" />

1
repos/ports/run/lighttpd.run
View File

@@ -33,6 +33,7 @@ append config {
<default-route>
<any-service> <parent/> <any-child/> </any-service>
</default-route>
<default caps="100"/>
<start name="timer">
<resource name="RAM" quantum="1M"/>
<provides><service name="Timer"/></provides>