From 24a2b15eece3acd8ad83f1cac1e3122452ed0ee0 Mon Sep 17 00:00:00 2001 From: Edgard Schmidt Date: Sun, 23 Sep 2018 12:37:56 +0200 Subject: [PATCH] tutorial: document required KERNEL argument --- repos/hello_tutorial/doc/hello_tutorial.txt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/repos/hello_tutorial/doc/hello_tutorial.txt b/repos/hello_tutorial/doc/hello_tutorial.txt index 4e584593fd..8c7050ddf1 100644 --- a/repos/hello_tutorial/doc/hello_tutorial.txt +++ b/repos/hello_tutorial/doc/hello_tutorial.txt @@ -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