andrew cd458c627d Add basic support for ACPI. It splits out the nexus driver to two new ... drivers, one for fdt, one for acpi. It then uses this to decide if it will use fdt or acpi. The GICv2 (interrupt controller) and Generic Timer drivers have been updated to handle both cases. As this is early code we still need FDT to find the kernel console, and some parts are still missing, including PCI support. Differential Revision: https://reviews.freebsd.org/D2463 Reviewed by: jhb, jkim, emaste Obtained from: ABT Systems Ltd Relnotes: Yes Sponsored by: The FreeBSD Foundation		2015-06-11 15:45:33 +00:00
..
OsdDebug.c
OsdHardware.c	Add basic support for ACPI. It splits out the nexus driver to two new	2015-06-11 15:45:33 +00:00
OsdInterrupt.c
OsdMemory.c
OsdSchedule.c
OsdStream.c
OsdSynch.c
OsdTable.c	Merge ACPICA 20140926.	2014-10-02 19:11:18 +00:00