arm64: add EFI runtime services
[linux-2.6-block.git] / arch / arm64 / kernel / Makefile
index 7d811d9522bc4fca5e12b035460a56337b68f13e..f57ccd7558869fadd92e24c45aba56027e6a26d2 100644 (file)
@@ -22,6 +22,7 @@ arm64-obj-$(CONFIG_EARLY_PRINTK)      += early_printk.o
 arm64-obj-$(CONFIG_ARM64_CPU_SUSPEND)  += sleep.o suspend.o
 arm64-obj-$(CONFIG_JUMP_LABEL)         += jump_label.o
 arm64-obj-$(CONFIG_KGDB)               += kgdb.o
+arm64-obj-$(CONFIG_EFI)                        += efi.o
 
 obj-y                                  += $(arm64-obj-y) vdso/
 obj-m                                  += $(arm64-obj-m)