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.