From 91de81a10a248a81ee067af9f10b574babe6b34b Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Sun, 29 Sep 2013 12:22:12 +0200
Subject: [PATCH] hello_tutorial: add missing <config> snippets

Thanks to Rudolf Weber for reporting.
---
 hello_tutorial/doc/hello_tutorial.txt | 17 ++++++++++++++---
 1 file changed, 14 insertions(+), 3 deletions(-)

diff --git a/hello_tutorial/doc/hello_tutorial.txt b/hello_tutorial/doc/hello_tutorial.txt
index a5fbf47d6..ad8acf74c 100644
--- a/hello_tutorial/doc/hello_tutorial.txt
+++ b/hello_tutorial/doc/hello_tutorial.txt
@@ -248,16 +248,27 @@ create a 'target.mk' file in 'src/hello/server':
 ! SRC_CC = main.cc
 ! LIBS   = base
 
-To tell the init process to start the new program, we have to add the following
-entry to Init's 'config' file, which is located at 'build/bin/config'.
+To tell the init process to start the new program, we have to add a '<start>'
+entry to init's 'config' file, which is located at 'build/bin/config'.
 
 ! <config>
+!   <parent-provides>
+!     <service name="CAP"/>
+!     <service name="LOG"/>
+!     <service name="RM"/>
+!   </parent-provides>
+!   <default-route>
+!     <any-service> <parent/> <any-child/> </any-service>
+!   </default-route>
 !   <start name="hello_server">
-!     <resource name="RAM" quantum="256K"/>
+!     <resource name="RAM" quantum="1M"/>
 !     <provides><service name="Hello"/></provides>
 !   </start>
 ! </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'.