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

sel4: adjust qemu memory in same basic run scripts

Browse Source 
Core on seL4 is configured to run on native hardware, so some static
allocators are bit over dimensioned. Some run scripts fail on qemu because
solely 64M are available in the system - adjust the affected scripts.

Issue #2044
This commit is contained in:
Alexander Boettcher 2016-08-05 11:35:43 +02:00 committed by Christian Helmuth
parent 7038825522
commit 1b895484d9
4 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/os/run/blk_cache.run
View File

@ -65,6 +65,6 @@ build_boot_image { core init timer test-blk-srv blk_cache test-blk-cli }
#
# Qemu
#
append qemu_args " -nographic -m 64 "
append qemu_args " -nographic -m 96 "
run_genode_until "Tests finished successfully.*\n" 60

2
repos/os/run/fault_detection.run
View File

@ -68,6 +68,6 @@ build_boot_image $boot_modules
# Execute test case
#
append qemu_args "-nographic -m 64"
append qemu_args "-nographic -m 96"
run_genode_until "--- finished fault_detection test ---.*\n" 30

2
repos/os/run/resource_yield.run
View File

@ -31,6 +31,6 @@ install_config {
build_boot_image "core init timer test-resource_yield"
append qemu_args "-nographic -m 64"
append qemu_args "-nographic -m 96"
run_genode_until {--- test-resource_yield finished ---\s*\n} 50

4
repos/os/run/tar_rom.run
View File

@ -43,7 +43,7 @@ install_config {
<provides><service name="Timer"/></provides>
</start>
<start name="tar_rom">
<resource name="RAM" quantum="5200K"/>
<resource name="RAM" quantum="6M"/>
<provides><service name="ROM"/></provides>
<config>
<archive name="archive.tar"/>
@ -75,7 +75,7 @@ exec sh -c "cd bin; tar cfh archive.tar test-timer"
build_boot_image "core init timer tar_rom archive.tar"
append qemu_args "-nographic -m 64"
append qemu_args "-nographic -m 96"
run_genode_until "--- timer test ---" 10