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

Ensure high priority for timer in test.run

Browse Source
This commit is contained in:
Christian Helmuth 2020-10-09 12:09:21 +02:00
parent bff624c75a
commit bcf1cc6397
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -260,7 +260,7 @@ foreach file $files_from_raw_archives {
file copy -force $file [run_dir]/genode/ }
install_config {
<config>
<config prio_levels="2">
<parent-provides>
<service name="ROM"/>
<service name="IRQ"/>
@ -287,7 +287,7 @@ install_config {
</route>
</start>
<start name="test" caps="} $caps {">
<start name="test" priority="-1" caps="} $caps {">
<resource name="RAM" quantum="} $ram {"/>
<binary name="init"/>
<route>