About Kernel Documentation Linux Kernel Contact Linux Resources Linux Blog

Documentation / x86 / x86_64 / uefi.txt




Custom Search

Based on kernel version 3.13. Page generated on 2014-01-20 22:05 EST.

1	General note on [U]EFI x86_64 support
2	-------------------------------------
3	
4	The nomenclature EFI and UEFI are used interchangeably in this document.
5	
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.
9	
10	1. UEFI specification:  http://www.uefi.org
11	
12	2. Booting Linux kernel on UEFI x86_64 platform requires bootloader
13	   support. Elilo with x86_64 support can be used.
14	
15	3. x86_64 platform with EFI/UEFI firmware.
16	
17	Mechanics:
18	---------
19	- Build the kernel with the following configuration.
20		CONFIG_FB_EFI=y
21		CONFIG_FRAMEBUFFER_CONSOLE=y
22	  If EFI runtime services are expected, the following configuration should
23	  be selected.
24		CONFIG_EFI=y
25		CONFIG_EFI_VARS=y or m		# optional
26	- Create a VFAT partition on the disk
27	- Copy the following to the VFAT partition:
28		elilo bootloader with x86_64 support, elilo configuration file,
29		kernel image built in first step and corresponding
30		initrd. Instructions on building elilo	and its dependencies
31		can be found in the elilo sourceforge project.
32	- Boot to EFI shell and invoke elilo choosing the kernel image built
33	  in first step.
34	- If some or all EFI runtime services don't work, you can try following
35	  kernel command line parameters to turn off some or all EFI runtime
36	  services.
37		noefi		turn off all EFI runtime services
38		reboot_type=k	turn off EFI reboot runtime service
39	- If the EFI memory map has additional entries not in the E820 map,
40	  you can include those entries in the kernels memory map of available
41	  physical RAM by using the following kernel command line parameter.
42		add_efi_memmap	include EFI memory map of available physical RAM
Hide Line Numbers
About Kernel Documentation Linux Kernel Contact Linux Resources Linux Blog

Information is copyright its respective author. All material is available from the Linux Kernel Source distributed under a GPL License. This page is provided as a free service by mjmwired.net.