IRQ: added irq source capability and make the inthandler setup use it
[barrelfish] / kernel / include / arch / x86_64 / irq.h
2016-04-06 Lukas HumbelIRQ: added irq source capability and make the inthandle...
2016-04-06 Lukas HumbelIRQ: Making the code actually work. ACPI interface
2016-04-06 Lukas HumbelIRQ: work in progress on receiving side
2016-04-06 Lukas HumbelIRQ: Started on the local/driver side. Not a working...
2014-10-14 Simon GerberImplemented call chain for making interrupts movable.
2014-10-14 Simon GerberMoved interrupt vector allocation into cpu driver.
2014-10-14 Gerd ZellwegerMoving IRQ state in KCB.
2011-12-28 Zeus Gómez MarmolejoReplaced caddr_t type with capaddr_t to avoid conflict...
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.