Norman Feske b618c9343e Remove os/config ...

This patch moves the os/config examples to their respective run scripts,
removes some of them, and moves the priority example to the src/init
directory (where other examples are located).

Additionally, this patch adapts the OKL4-specific priority.run test to
the recent changes of the timer interface.

2013-02-20 14:49:16 +01:00

..

env

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00

priority.run

Remove os/config

2013-02-20 14:49:16 +01:00