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

tutorial: document required KERNEL argument

Browse Source
This commit is contained in:
Edgard Schmidt
2018-09-23 12:37:56 +02:00
committed by Christian Helmuth
parent 0a74f35062
commit 24a2b15eec
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
repos/hello_tutorial/doc/hello_tutorial.txt
View File

@@ -436,7 +436,8 @@ at the _run/hello.run_ and look as follows:
!
!run_genode_until "hello test completed.*\n" 10
When executed via 'make run/hello', it performs the given steps in sequence.
When executed via 'make run/hello KERNEL=linux', it performs the given steps in
sequence and runs the scenario on Genode/Linux.
Note that the run script is kernel-agnostic. Hence, you can execute the system
scenario on all the different kernels supported by Genode without any
modification. The regular expression specified to the 'run_genode_until' step