Subversion Repositories or1k_soc_on_altera_embedded_dev_kit

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.