.. |
Makefile
|
2223af3890
efi: Fix the ACPI BGRT driver for images located in EFI boot services memory
|
12 years ago |
efi-bgrt.c
|
5d6d578c17
x86, efi: Check table header length in efi_bgrt_init()
|
12 years ago |
efi.c
|
11520e5e7c
Revert "x86-64/efi: Use EFI to deal with platform wall clock (again)"
|
12 years ago |
efi_32.c
|
6d3e32e63f
x86, efi: Make efi_call_phys_{prelog,epilog} CONFIG_RELOCATABLE-aware
|
13 years ago |
efi_64.c
|
11520e5e7c
Revert "x86-64/efi: Use EFI to deal with platform wall clock (again)"
|
12 years ago |
efi_stub_32.S
|
b17ed48040
x86: Move efi to platform
|
14 years ago |
efi_stub_64.S
|
b17ed48040
x86: Move efi to platform
|
14 years ago |