genode/base-nova/src/base/pager
Sebastian Sumpf 4a3d852b65 Core: Shared IRQ support for Nova/FOC/OKL4
Implement shared IRQs using 'Irq_proxy' class.

Nova: Added global worker 'Irq_thread' support in core and adapted Irq_session.

FOC: Adapted IRQ session code, x86 has shared IRQ support, ARM uses the old
model. Read and set 'mode' argument (from MADT) in 'Irq_session'.

OKL4: Use generic 'Irq_proxy'

Fixes issue #390
2012-10-11 17:10:16 +02:00
..
x86_32 NOVA: implement pause using recall kernel feature 2012-08-30 10:40:00 +02:00
x86_64 NOVA: implement pause using recall kernel feature 2012-08-30 10:40:00 +02:00
pager.cc Core: Shared IRQ support for Nova/FOC/OKL4 2012-10-11 17:10:16 +02:00