1 General note on [U]EFI x86_64 support
2 -------------------------------------
4 The nomenclature EFI and UEFI are used interchangeably in this document.
6 Although the tools below are _not_ needed for building the kernel,
7 the needed bootloader support and associated tools for x86_64 platforms
8 with EFI firmware and specifications are listed below.
10 1. UEFI specification: http://www.uefi.org
12 2. Booting Linux kernel on UEFI x86_64 platform requires bootloader
13 support. Elilo with x86_64 support can be used.
15 3. x86_64 platform with EFI/UEFI firmware.
19 - Build the kernel with the following configuration.
21 CONFIG_FRAMEBUFFER_CONSOLE=y
22 - Create a VFAT partition on the disk
23 - Copy the following to the VFAT partition:
24 elilo bootloader with x86_64 support, elilo configuration file,
25 kernel image built in first step and corresponding
26 initrd. Instructions on building elilo and its dependencies
27 can be found in the elilo sourceforge project.
28 - Boot to EFI shell and invoke elilo choosing the kernel image built