From 67fc1ec42b79b0f97cb507ab512d9faca0891a91 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Thu, 22 Jun 2017 14:55:42 +0200
Subject: [PATCH] timeout test: prioritize timer driver over test

Ref #2400
---
 repos/os/run/timeout.run | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos/os/run/timeout.run b/repos/os/run/timeout.run
index bdcd208444..984e7cb755 100644
--- a/repos/os/run/timeout.run
+++ b/repos/os/run/timeout.run
@@ -61,7 +61,7 @@ build "core init drivers/platform drivers/timer test/timeout test/cpufreq"
 create_boot_directory
 
 append config {
-	<config>
+	<config prio_levels="2">
 		<parent-provides>
 			<service name="ROM"/>
 			<service name="IRQ"/>
@@ -80,7 +80,7 @@ append config {
 			<resource name="RAM" quantum="10M"/>
 			<provides><service name="Timer"/></provides>
 		</start>
-		<start name="test">
+		<start name="test" priority="-1">
 			<binary name="test-timeout"/>
 			<resource name="RAM" quantum="250M"/>
 			<config precise_time="} [precise_time] {"