ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-29 15:44:02 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

hello: fix missing build steps and vague config

Browse Source 
Fixes #36.
This commit is contained in:
Christian Helmuth 2014-03-18 17:00:46 +01:00
parent a951a9f72f
commit c7d2d3a231
3 changed files with 23 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
hello_tutorial/config/config
View File

@ -1,12 +1,23 @@
<config>
<parent-provides>
<service name="CAP"/>
<service name="LOG"/>
<service name="RM"/>
<service name="SIGNAL"/>
</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>
<start name="timer">
<resource name="RAM" quantum="256K"/>
<resource name="RAM" quantum="1M"/>
<provides><service name="Timer"/></provides>
</start>
<start name="hello_client">
<resource name="RAM" quantum="256K"/>
<resource name="RAM" quantum="1M"/>
</start>
</config>

5
hello_tutorial/doc/hello_tutorial.txt
View File

@ -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:
! <start name="timer">
! <resource name="RAM" quantum="512K"/>
! <resource name="RAM" quantum="1M"/>
! <provides><service name="Timer"/></provides>
! </start>
! <start name="hello_client">
! <resource name="RAM" quantum="1M"/>

6
hello_tutorial/run/hello.run
View File

@ -16,14 +16,20 @@ install_config {
<service name="CAP"/>
<service name="LOG"/>
<service name="RM"/>
<service name="SIGNAL"/>
</parent-provides>
<default-route>
<any-service> <parent/> <any-child/> </any-service>
</default-route>
<start name="hello_server">
<resource name="RAM" quantum="1M"/>
<provides><service name="Hello"/></provides>
</start>
<start name="timer">
<resource name="RAM" quantum="1M"/>
<provides><service name="Timer"/></provides>
</start>
<start name="hello_client">
<resource name="RAM" quantum="1M"/>
</start>