mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-18 18:56:29 +00:00
hello_tutorial: add missing <config> snippets
Thanks to Rudolf Weber for reporting.
This commit is contained in:
parent
24007564bf
commit
91de81a10a
@ -248,16 +248,27 @@ create a 'target.mk' file in 'src/hello/server':
|
|||||||
! SRC_CC = main.cc
|
! SRC_CC = main.cc
|
||||||
! LIBS = base
|
! LIBS = base
|
||||||
|
|
||||||
To tell the init process to start the new program, we have to add the following
|
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'.
|
entry to init's 'config' file, which is located at 'build/bin/config'.
|
||||||
|
|
||||||
! <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">
|
! <start name="hello_server">
|
||||||
! <resource name="RAM" quantum="256K"/>
|
! <resource name="RAM" quantum="1M"/>
|
||||||
! <provides><service name="Hello"/></provides>
|
! <provides><service name="Hello"/></provides>
|
||||||
! </start>
|
! </start>
|
||||||
! </config>
|
! </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 'hello/server', go to 'build/bin', run './core'.
|
||||||
|
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user