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@

Reply via email to