2 Commits

Author	SHA1	Message	Date
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
andrew	d6ba331a75	Add a driver for the ARM Power State Coordination Interface (PSCI). This ... handles versions 0.1 and 0.2 of the standard on 32-bit ARM. With this driver we can shutdown in QEMU. Further work is needed to turn secondary cores on on boot and to support later revisions of the specification. Submitted by: Robin Randhawa <Robin.Randhawa at ARM.com> Sponsored by: The FreeBSD Foundation	2015-04-12 13:00:58 +00:00