libbarrelfish: make cap deletion in memobj_destroy_anon() optional
[barrelfish] / usr / acpi / acpica_osglue.c
2016-12-15 Simon Gerberlibbarrelfish: make cap deletion in memobj_destroy_anon...
2016-12-15 Simon Gerberacpi: osglue: improve and simplify AcpiOsMapMemory...
2016-08-16 Simon Gerberacpi: osglue: implement AcpiOsStall() using barrelfish_...
2016-08-09 Lukas HumbelIRQ: Fix interrupts handled by ACPI
2016-07-29 Lukas HumbelIRQ: Fixing the merge with restructured ACPI
2016-07-29 Lukas HumbelIRQ: use uint64_t everywhere for int numbers, renamed...
2016-07-22 Reto Achermannacpi: fixing mistyped variable
2016-07-20 Reto Achermann[ACPI] adding function to set the root table pointer
2016-07-20 Reto Achermann[ACPI] making ACPI architecture specific
2016-07-12 Moritz Hoffmannacpi: Fix x86/x86_64 #if.
2016-07-07 Moritz Hoffmannacpi, pci: Compile on ARMv8.
2016-04-18 Simon GerberSquashed changes of e89aa91..6ca6bdf (master as of...
2016-04-06 Lukas HumbelIRQ: Making the code actually work. ACPI interface
2013-01-29 Simon Gerberacpi: Added failure returns in AcpiOsMapMemory().
2013-01-29 Simon GerberImplemented memobj_destroy_anon().
2012-06-01 Simon GerberFixed printfs in acpica_osglue to work for 32 bit acpi.
2012-04-23 Simon GerberFixed AcpiOsUnmapMemory to delete cap copies.
2012-04-19 Simon GerberFixed acpi/pci issues when booting on real h/w.
2012-06-01 Simon GerberFixed address type in AcpiOsUnmapMemory to work on...
2012-03-27 Gerd ZellwegerMerge with current tip.
2012-03-22 Gerd ZellwegerMoving IO APIC back into ACPI.
2012-03-22 Simon GerberFixed AcpiOsUnmapMemory to actually unmap.
2012-03-22 Simon GerberFixed mapping lookup in AcpiOsMapMemory().
2012-03-21 Gerd ZellwegerUsing only devframes in ioapic, acpi.
2012-03-21 Gerd ZellwegerUse correct error in DEBUG_ERR.
2012-03-21 Simon GerberImplemented very simple region tracking in usr/pci...
2012-03-08 Gerd ZellwegerRemove debug in acpi.
2012-03-07 Gerd Zellwegersome changes in cap handling for acpi, but still does...
2012-02-29 Gerd ZellwegerAdded get_phyaddr_cap() that requests the Physical...
2012-02-25 Gerd ZellwegerRemoved some debug output in code and made small fixes.
2012-02-24 Gerd ZellwegerRemoved dead code in ACPI daemon.
2012-02-23 Gerd ZellwegerFixed some issues in code. Now ACPI/IOAPIC/PCI daemons...
2012-02-21 Gerd ZellwegerMoving I/O APIC functionality in separate daemon. Code...
2012-02-18 Gerd ZellwegerCopied the whole PCI code over to the new ACPI daemon.