freebsd-skq/sys/arm64
andrew de3e0757f9 Call the PSCI reset from cpu_reset on arm64. When rebooting from DDB the
kernel calls this directly so the event handler is not called, meaning
the computer fails to reboot.

Tested by:	cognet
MFC after:	1 week
Sponsored by:	DARPA, AFRL
2017-04-24 11:06:10 +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 Call the PSCI reset from cpu_reset on arm64. When rebooting from DDB the 2017-04-24 11:06:10 +00:00
cavium If ofw_bus_msimap fails don't try to use the invalid MSI/MSI-X parent node. 2017-03-16 17:49:37 +00:00
cloudabi64 Stop providing the compat_3_brand. 2017-03-23 14:12:21 +00:00
conf Add 'device iic' to bring in userland I2C driver. 2017-03-24 22:33:03 +00:00
include Remove trailing whitespace from r317061 2017-04-17 18:57:26 +00:00