4 Commits

Author	SHA1	Message	Date
Stefan Kalkowski	4f69bd9fb8	Remove timer from hello run script (fix #629) ... 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.	2013-01-24 11:03:27 +01:00
Norman Feske	73ab30c22c	Update copyright headers to 2013	2013-01-10 21:44:47 +01:00
Norman Feske	08ce32215d	Bump year in copyright headers to 2012	2012-01-03 15:35:05 +01:00
Genode Labs	da4e1feaa5	Imported Genode release 11.11	2011-12-22 16:19:25 +01:00