andrew cd724aa1cc Ensure the userland thread and floating-point state has been saved before ... copying the pcb. These values may have been changed just before the call to fork and without a call to cpu_switch, where they would have been saved. Sponsored by: The FreeBSD Foundation		2015-04-15 14:18:25 +00:00
..
arm64	Ensure the userland thread and floating-point state has been saved before	2015-04-15 14:18:25 +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	Add support for arm64 to loader.efi and boot1.efi	2015-04-14 13:55:01 +00:00