mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-02 17:21:13 +00:00
b618c9343e
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.