arm64: add EFI runtime services
authorMark Salter <msalter@redhat.com>
Wed, 16 Apr 2014 01:59:30 +0000 (21:59 -0400)
committerMatt Fleming <matt.fleming@intel.com>
Wed, 30 Apr 2014 18:49:59 +0000 (19:49 +0100)
commitf84d02755f5a9f3b88e8d15d6384da25ad6dcf5e
treef069e87984f66a571278e681197174c450e1a0ad
parent263b4a30bfdb0d756ae9c70c6ff2eef1eb951770
arm64: add EFI runtime services

This patch adds EFI runtime support for arm64. This runtime support allows
the kernel to access various EFI runtime services provided by EFI firmware.
Things like reboot, real time clock, EFI boot variables, and others.

This functionality is supported for little endian kernels only. The UEFI
firmware standard specifies that the firmware be little endian. A future
patch is expected to add support for big endian kernels running with
little endian firmware.

Signed-off-by: Mark Salter <msalter@redhat.com>
[ Remove unnecessary cache/tlb maintenance. ]
Signed-off-by: Mark Rutland <mark.rutland@arm.com>
Signed-off-by: Leif Lindholm <leif.lindholm@linaro.org>
Signed-off-by: Matt Fleming <matt.fleming@intel.com>
arch/arm64/Kconfig
arch/arm64/include/asm/efi.h [new file with mode: 0644]
arch/arm64/kernel/Makefile
arch/arm64/kernel/efi.c [new file with mode: 0644]
arch/arm64/kernel/setup.c