From db3b242acbd725487bc0f72dbbe354e22c9041ed Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michael=20M=C3=BCller?= <michael.mueller@uos.de>
Date: Mon, 11 Jul 2022 12:30:50 +0200
Subject: [PATCH] hello_tutorial: Adapted scenario.

---
 repos/hello_tutorial/run/hello.run | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/repos/hello_tutorial/run/hello.run b/repos/hello_tutorial/run/hello.run
index 244550a19d..13a2b10850 100644
--- a/repos/hello_tutorial/run/hello.run
+++ b/repos/hello_tutorial/run/hello.run
@@ -22,6 +22,13 @@ install_config {
 		<any-service> <parent/> <any-child/> </any-service>
 	</default-route>
 	<default caps="60"/>
+	<start name="timer">
+		<resource name="RAM" quantum="1M"/>
+		<provides><service name="Timer"/></provides>
+		<route>
+			<any-service><parent/><any-child/></any-service>
+		</route>
+	</start>	
 	<start name="hello_server">
 		<resource name="RAM" quantum="1M"/>
 		<provides> <service name="Hello"/> </provides>