genode/repos/base-hw/src/core/include/spec/imx53
Stefan Kalkowski 8e2b4d6f45 hw: extend kernel interrupt class
The generalization of interrupt objects in the kernel and the use of
C++ polymorphism instead of explicitely checking for special interrupts
within generic code (Cpu_job::_interrupt) enables the registration of
additional interrupts used by the kernel, which are needed for specific
aspects added to the kernel, like ARM hardware virtualization interrupts.

* Introduce generic base class for interrupt objects handled by the kernel
* Derive an interrupt class for those handled by the user-land
* Implement IPI-specific interrupt class
* Implement timer interrupts using the new generic base class

Ref #1405
2015-02-27 11:43:56 +01:00
..
trustzone hw: re-organize file structure 2014-08-15 10:19:48 +02:00
board.h hw: refactor irq controllers 2015-02-27 11:43:56 +01:00
pic.h hw: extend kernel interrupt class 2015-02-27 11:43:56 +01:00