Andrew Turner 7abeae41fb Remove an unneeded header. It was used when we had an arm64 specific GIC ... driver, however with INTRNG this has been merged into a common arm driver. Obtained from: ABT Systems Ltd Sponsored by: The FreeBSD Foundation		2016-12-05 11:40:54 +00:00
..
acpica	Add support to find the arm64 serial using the ACPI tables. This uses the	2016-11-21 19:26:58 +00:00
arm64	Remove an unneeded header. It was used when we had an arm64 specific GIC	2016-12-05 11:40:54 +00:00
cavium	Fix the alloc function the ThunderX PCIe driver calls, the previous	2016-11-30 14:17:06 +00:00
cloudabi64	Convert pointers obtained from the threadattr_t structure with TO_PTR().	2016-08-24 10:13:18 +00:00
conf	[rpi3] Move SOC_BRCM_BCM2837 from UP config to SMP one	2016-11-24 00:45:52 +00:00
include	Fix ISS_DATA_DFSC_MASK, it should include all bits in the field.	2016-11-28 14:24:07 +00:00