30 lines
1.0 KiB
Plaintext
30 lines
1.0 KiB
Plaintext
General note on [U]EFI x86_64 support
|
|
-------------------------------------
|
|
|
|
The nomenclature EFI and UEFI are used interchangeably in this document.
|
|
|
|
Although the tools below are _not_ needed for building the kernel,
|
|
the needed bootloader support and associated tools for x86_64 platforms
|
|
with EFI firmware and specifications are listed below.
|
|
|
|
1. UEFI specification: http://www.uefi.org
|
|
|
|
2. Booting Linux kernel on UEFI x86_64 platform requires bootloader
|
|
support. Elilo with x86_64 support can be used.
|
|
|
|
3. x86_64 platform with EFI/UEFI firmware.
|
|
|
|
Mechanics:
|
|
---------
|
|
- Build the kernel with the following configuration.
|
|
CONFIG_FB_EFI=y
|
|
CONFIG_FRAMEBUFFER_CONSOLE=y
|
|
- Create a VFAT partition on the disk
|
|
- Copy the following to the VFAT partition:
|
|
elilo bootloader with x86_64 support, elilo configuration file,
|
|
kernel image built in first step and corresponding
|
|
initrd. Instructions on building elilo and its dependencies
|
|
can be found in the elilo sourceforge project.
|
|
- Boot to EFI shell and invoke elilo choosing the kernel image built
|
|
in first step.
|