Andrew Turner ded32d88f1 Add support for ipi_all_but_self on arm64. ... Obtained from: ABT Systems Ltd Sponsored by: The freeBSD Foundation		2015-07-08 15:32:59 +00:00
..
acpica	Add basic support for ACPI. It splits out the nexus driver to two new	2015-06-11 15:45:33 +00:00
arm64	Add support for ipi_all_but_self on arm64.	2015-07-08 15:32:59 +00:00
conf	Fix up tabs vs. spaces	2015-07-04 20:31:06 +00:00
include	Introduce ITS support for ARM64	2015-07-06 18:27:41 +00:00