.. |
Makefile
|
b17ed48040
x86: Move efi to platform
|
15 years ago |
efi.c
|
1adbfa3511
x86, efi: Allow basic init with mixed 32/64-bit efi/kernel
|
13 years ago |
efi_32.c
|
6d3e32e63f
x86, efi: Make efi_call_phys_{prelog,epilog} CONFIG_RELOCATABLE-aware
|
13 years ago |
efi_64.c
|
916f676f8d
x86, efi: Retain boot service code until after switching to virtual mode
|
14 years ago |
efi_stub_32.S
|
b17ed48040
x86: Move efi to platform
|
15 years ago |
efi_stub_64.S
|
b17ed48040
x86: Move efi to platform
|
15 years ago |