ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-21 14:37:50 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

init.run: prioritize timer over test

Browse Source 
The 200-second timeout of the init test triggers on some test platform
(in particular on qemu) while it is overly pessimistic on others.
This patch aims at stabilizing the timing behavior of the test across
the tested kernels/machines.
This commit is contained in:
Norman Feske 2018-06-22 10:44:00 +02:00
parent 3bbeacad20
commit 365d0bccd5
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
repos/os/run/init.run
View File

@ -13,7 +13,7 @@ create_boot_directory
# #
append config { append config {
<config> <config prio_levels="2">
<parent-provides> <parent-provides>
<service name="ROM"/> <service name="ROM"/>
<service name="CPU"/> <service name="CPU"/>
@ -35,7 +35,7 @@ append config {
<provides><service name="Timer"/></provides> <provides><service name="Timer"/></provides>
</start> </start>
<start name="report_rom"> <start name="report_rom" priority="-1">
<resource name="RAM" quantum="2M"/> <resource name="RAM" quantum="2M"/>
<provides> <service name="ROM"/> <service name="Report"/> </provides> <provides> <service name="ROM"/> <service name="Report"/> </provides>
<config verbose="no"> <config verbose="no">
@ -44,7 +44,7 @@ append config {
</config> </config>
</start> </start>
<start name="test-init"> <start name="test-init" priority="-1">
<resource name="RAM" quantum="4M"/> <resource name="RAM" quantum="4M"/>
<provides> <service name="LOG"/> </provides> <provides> <service name="LOG"/> </provides>
<config> <config>
@ -1518,7 +1518,7 @@ append config {
</route> </route>
</start> </start>
<start name="init" caps="2000"> <start name="init" caps="2000" priority="-1">
<binary name="init"/> <binary name="init"/>
<resource name="RAM" quantum="16M"/> <resource name="RAM" quantum="16M"/>
<configfile name="init.config"/> <configfile name="init.config"/>