CVSROOT: /cvs Module name: src Changes by: [email protected] 2018/07/02 01:25:29
Modified files:
sys/arch/arm64/dev: efi.c
Log message:
Enable the FPU when calling EFI runtime services. The new UEFI firmware for
the od1000 that I built myself seems to use the FPU when setting the RTC,
and the UEFI standard allows this.
ok drahn@
