Andrew Turner 00e61f254c Add the full set of GICD_PIDR* registers ... Obtained from: ABT Systems Ltd Sponsored by: The FreeBSD Foundation		2016-12-06 11:41:19 +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	Add the full set of GICD_PIDR* registers	2016-12-06 11:41:19 +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