andrew c30acd3bb8 Add psci for arm64. This is currently used when rebooting and powering off ... in qemu. Sponsored by: The FreeBSD Foundation		2015-04-13 16:41:33 +00:00
..
arm64	Bring in the start of the arm64 kernel.	2015-04-13 14:43:10 +00:00
conf	Add psci for arm64. This is currently used when rebooting and powering off	2015-04-13 16:41:33 +00:00
include	Bring in the start of the arm64 kernel.	2015-04-13 14:43:10 +00:00