genode/ports-okl4/config
Norman Feske ce67b73dca Update example configurations
With the change of the Timer::Session interface, all scenarios that use
the timer use core's SIGNAL service. So we need to route sessions
accordingly.

In addition to the adaptation to the changed timer, this patch removes
some stale examples that predate the run tool and are no longer used.
2013-02-19 14:45:55 +01:00
..
elfweaver_config Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
linux_config OKLinux: Remove Genode audio support 2013-01-10 23:05:43 +01:00