ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-21 03:55:04 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

depot_download.run: raise quotas for sel4

Browse Source 
Give chroot and report_rom 2M instead of 1M to satisfy Sel4 on x86
64-bit.

Issue #2781
This commit is contained in:
Martin Stein 2018-04-19 15:04:43 +02:00 committed by Christian Helmuth
parent e8d17af1d0
commit 53821a6285
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
repos/gems/recipes/raw/depot_download/depot_download.config
View File

@ -19,7 +19,7 @@
<start name="report_rom">
<binary name="report_rom"/>
<resource name="RAM" quantum="1M"/>
<resource name="RAM" quantum="2M"/>
<provides> <service name="Report"/> <service name="ROM"/> </provides>
<config verbose="no">
<policy label="dynamic -> config"
@ -56,7 +56,7 @@
<start name="depot_ro">
<binary name="chroot"/>
<resource name="RAM" quantum="1M" />
<resource name="RAM" quantum="2M" />
<provides> <service name="File_system"/> </provides>
<config> <default-policy path="/" writeable="no"/> </config>
<route>
@ -67,7 +67,7 @@
<start name="public_ro">
<binary name="chroot"/>
<resource name="RAM" quantum="1M" />
<resource name="RAM" quantum="2M" />
<provides> <service name="File_system"/> </provides>
<config> <default-policy path="/" writeable="no"/> </config>
<route>

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

@ -98,7 +98,7 @@ append config {
<start name="depot_download" caps="2000">
<binary name="init"/>
<resource name="RAM" quantum="64M"/>
<resource name="RAM" quantum="70M"/>
<route>
<service name="ROM" label="config">
<parent label="depot_download.config"/> </service>