CVSROOT: /cvs Module name: src Changes by: kette...@cvs.openbsd.org 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@