genode/repos/os/src
Stefan Kalkowski f56be97215 gem_cadence nic_drv: remove Irq_activation
* btw. move gem_cadence specific files to spec/ subdirectory

Ref #2072
2016-08-29 17:29:36 +02:00
..
app base: avoid use of deprecated base/printf.h 2016-08-29 17:27:10 +02:00
drivers gem_cadence nic_drv: remove Irq_activation 2016-08-29 17:29:36 +02:00
init base: avoid use of deprecated base/printf.h 2016-08-29 17:27:10 +02:00
lib base: avoid use of deprecated base/printf.h 2016-08-29 17:27:10 +02:00
server server/fs_log: improve client isolation 2016-08-29 17:29:34 +02:00
test Increase stack-size for block test client 2016-08-29 17:29:33 +02:00