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.
|