Re: [PATCH 6/6] arm64: add EFI runtime services

On Fri, Jan 10, 2014 at 10:29:10PM +, Mark Salter wrote: > diff --git a/arch/arm64/include/asm/efi.h b/arch/arm64/include/asm/efi.h > new file mode 100644 > index 000..a835b2c > --- /dev/null > +++ b/arch/arm64/include/asm/efi.h > @@ -0,0 +1,12 @@ > +#ifndef _ASM_ARM64_EFI_H > +#define _ASM

[PATCH 6/6] arm64: add EFI runtime services

This patch adds EFI runtime support for arm64. The 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. Signed-off-by: Mark Salter --- arch/arm64/Kconfig | 16 ++ arch/ar