From 36fac8e22b20f71bca3fe84d3409d95aaf879f72 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Mon, 25 Feb 2019 23:04:52 +0100
Subject: [PATCH] run/test: support TRACE service

Issue #3192
---
 repos/os/run/test.run | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/repos/os/run/test.run b/repos/os/run/test.run
index a39f0aea7d..f1a307772b 100644
--- a/repos/os/run/test.run
+++ b/repos/os/run/test.run
@@ -263,6 +263,7 @@ install_config {
 			<service name="RM"/>
 			<service name="CPU"/>
 			<service name="LOG"/>
+			<service name="TRACE"/>
 		</parent-provides>
 
 		<start name="timer" caps="100">
@@ -288,6 +289,7 @@ install_config {
 				<service name="RM">    <parent/>    </service>
 				<service name="CPU">   <parent/>    </service>
 				<service name="LOG">   <parent/>    </service>
+				<service name="TRACE"> <parent/>    </service>
 				<service name="Timer"> <child name="timer"/> </service>
 			</route>
 			} $config {