genode/repos/base-hw/src/core/imx53
Stefan Kalkowski b8798fc026 hw: prevent from off-by-one bugs in PIC classes
Instead of using Pic::MAX_INTERRUPT_ID this commit introduces more
conveniently the Pic:NR_OF_IRQ.

Ref #1169
2014-06-26 11:40:07 +02:00
..
no_trustzone Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
trustzone hw: prevent from off-by-one bugs in PIC classes 2014-06-26 11:40:07 +02:00
board.h hw: disable L2 cache for imx53 platform 2014-06-26 10:57:27 +02:00
pic_base.h hw: prevent from off-by-one bugs in PIC classes 2014-06-26 11:40:07 +02:00
processor_driver.h hw & cortex_a9: do lazy FPU-context switch 2014-06-26 10:57:25 +02:00
target.inc Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
timer.h Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00