mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 16:35:28 +00:00
4f69bd9fb8
Currently, the hello run script of the hello_tutorial misses some services the timer driver needs on various platforms. The hello_tutorial is meant for educational purposes only. So it's desireable to keep it simple. Instead of complexifying the configuration, this commit just removes the timer from the example.
This repository contains the source code of the 'Hello' client-server tutorial written by Björn Döbel. Please find the document at 'doc/hello_tutorial.txt'.