IRQ: added irq source capability and make the inthandler setup use it
[barrelfish] / usr / pci / pci.h
2016-04-06 Lukas HumbelIRQ: added irq source capability and make the inthandle...
2016-04-06 Lukas HumbelIRQ: rename pci interface get_cap to get_bar_cap. remov...
2015-08-13 Moritz Hoffmannpci: Expose real bar number to pci clients.
2014-11-27 Timothy RoscoeEnsure all Mackerel files are included explicitly from...
2014-10-15 Gerd ZellwegerMerge branch coreboot.
2014-10-14 Simon GerberAdded missing pieces for enabling moving kcbs with...
2014-08-20 Reto AchermannReplaced pci with arrakis branch
2014-02-28 Simon PeterThe Arrakis backport to Barrelfish.
2013-06-28 Antoine Kaufmannpci: Simple MSI-X implementation
2012-03-27 Gerd ZellwegerConfspace init using fact stored in SKB
2012-02-24 Gerd ZellwegerRemoved dead code in ACPI daemon.
2012-02-23 Gerd ZellwegerCleanup in PCI code. Remove dead code since we factored...
2012-02-19 Gerd ZellwegerContinue to refactor acpi into separate service.
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.