summaryrefslogtreecommitdiffstats
path: root/sys/arch/arm64/dev/efi.c
AgeCommit message (Expand)AuthorFilesLines
2019-08-04Implement smbios support on arm64.kettenis1-1/+16
2018-07-02Enable the FPU when calling EFI runtime services. The new UEFI firmware forkettenis1-1/+6
2018-06-24If ACPI tables are present, set a global variable to point at theirkettenis1-7/+15
2018-04-06Sadly some UEFI frimware writes to mappings marked as runtime code so we can'tkettenis1-4/+14
2018-01-12Runtime services may (and do) use device mappings on some UEFI implementations.kettenis1-1/+10
2018-01-10Implement FUCKWIT for arm64; unmap the kernel almost entirely while userlandkettenis1-3/+7
2018-01-04Implement support for calling EFI runtime services and use it to implementkettenis1-0/+258