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

ieee754: adjust RAM quota to sel4

Browse Source
This commit is contained in:
Christian Helmuth
2022-10-24 14:33:35 +02:00
parent 5a06a9dec1
commit 9c136f66d4
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
repos/libports/run/ieee754.run
View File

@@ -25,7 +25,7 @@ install_config {
<default caps="100"/>
<start name="test1">
<binary name="test-ieee754"/>
<resource name="RAM" quantum="2096K"/>
<resource name="RAM" quantum="2144K"/>
<config>
<vfs> <dir name="dev"><log/></dir></vfs>
<libc stdout="/dev/log"/>
@@ -33,7 +33,7 @@ install_config {
</start>
<start name="test2">
<binary name="test-ieee754"/>
<resource name="RAM" quantum="2096K"/>
<resource name="RAM" quantum="2144K"/>
<config>
<vfs> <dir name="dev"><log/></dir></vfs>
<libc stdout="/dev/log"/>
@@ -41,7 +41,7 @@ install_config {
</start>
<start name="test3">
<binary name="test-ieee754"/>
<resource name="RAM" quantum="2096K"/>
<resource name="RAM" quantum="2144K"/>
<config>
<vfs> <dir name="dev"><log/></dir></vfs>
<libc stdout="/dev/log"/>
@@ -49,7 +49,7 @@ install_config {
</start>
<start name="test4">
<binary name="test-ieee754"/>
<resource name="RAM" quantum="2096K"/>
<resource name="RAM" quantum="2144K"/>
<config>
<vfs> <dir name="dev"><log/></dir></vfs>
<libc stdout="/dev/log"/>