denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

hello_tutorial: Adapted scenario.

Browse Source
This commit is contained in:
Michael Müller
2022-07-11 12:30:50 +02:00
parent 9399b07d0c
commit db3b242acb
1 changed files with 7 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
repos/hello_tutorial/run/hello.run
View File

@@ -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>