diff --git a/hello_tutorial/config/config b/hello_tutorial/config/config
index 80a9c9a61..f329abcb3 100644
--- a/hello_tutorial/config/config
+++ b/hello_tutorial/config/config
@@ -1,12 +1,23 @@
+
+
+
+
+
+
+
+
+
+
-
+
-
+
+
-
+
diff --git a/hello_tutorial/doc/hello_tutorial.txt b/hello_tutorial/doc/hello_tutorial.txt
index d52a48248..9773109e7 100644
--- a/hello_tutorial/doc/hello_tutorial.txt
+++ b/hello_tutorial/doc/hello_tutorial.txt
@@ -269,7 +269,7 @@ entry to init's 'config' file, which is located at 'build/bin/config'.
For information about the configuring the init process, please refer
to [http://genode.org/documentation/developer-resources/init].
-Now rebuild 'hello/server', go to 'build/bin', run './core'.
+Now rebuild 'core', 'init', and 'hello/server', go to 'build/bin', run './core'.
Writing client code
@@ -411,7 +411,8 @@ Extend your 'config' file as follows.
# Add start entries for 'Timer' service and hello client:
!
- !
+ !
+ !
!
!
!
diff --git a/hello_tutorial/run/hello.run b/hello_tutorial/run/hello.run
index e93430e40..32458d2d4 100644
--- a/hello_tutorial/run/hello.run
+++ b/hello_tutorial/run/hello.run
@@ -16,14 +16,20 @@ install_config {
+
+
+
+
+
+