armv8: Port irq cap invocations
[barrelfish] / kernel / include / arch / armv8 / irq.h
2019-11-18 Lukas Humbelarmv8: Port irq cap invocations
2019-04-03 Reto Achermannreplacing umlaute and fixing address in headers Haldene...
2018-11-27 Adam Turowskiarms: unifying interrupts, timers and platform data
2018-11-14 Adam Turowskiarmv8: generalizing the interrupt controller
2016-04-18 Simon GerberSquashed changes of e89aa91..6ca6bdf (master as of...
2016-04-06 Lukas HumbelIRQ: Started on the local/driver side. Not a working...
2015-06-03 Simon GerberInitial AArch64/ARMv8 skeleton.