IRQ: added irq source capability and make the inthandler setup use it
[barrelfish] / lib / barrelfish / inthandler.c
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: getting pci_client closer to using new interface
2016-04-06 Lukas HumbelIRQ: Started on the local/driver side. Not a working...
2014-10-15 Gerd ZellwegerMerge branch coreboot.
2014-10-14 Simon GerberAdded missing pieces for enabling moving kcbs with...
2014-10-14 Simon GerberImplemented call chain for making interrupts movable.
2014-10-01 Simon Gerberarm: Fixed inthandler_setup_arm() to set barrelfish_int...
2014-02-28 Simon PeterThe Arrakis backport to Barrelfish.
2013-07-16 Stefan Kaestleinterrupts: Copied missing pieces from Reto Achermann...
2013-06-14 Reto AchermannAdded rpc call to monitor to support interrupt handling...
2013-05-25 Reto AchermannIRQ handling with hardcoded IRQ id (ehci interrupt...
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.