Edgard Schmidt 0a74f35062 tutorial: remove blocking run_genode_until line

2018-09-24 11:48:16 +02:00

..

hello.run

tutorial: remove blocking run_genode_until line

2018-09-24 11:48:16 +02:00