x86: Initialize i8254 timer counter 1

[oweals/u-boot.git] / arch / x86 / lib / efi / Makefile

diff --git a/arch/x86/lib/efi/Makefile b/arch/x86/lib/efi/Makefile
index bb7b95beeed16f75ea47fed76d48daf93a3db21c..af4503e1c22c695fa785cc2c323005b5afe4c056 100644 (file)
--- a/arch/x86/lib/efi/Makefile
+++ b/arch/x86/lib/efi/Makefile
@@ -5,6 +5,9 @@
 # SPDX-License-Identifier:     GPL-2.0+
 #
 
+obj-$(CONFIG_EFI_STUB) += car.o
+obj-$(CONFIG_EFI_STUB) += efi.o
+
 obj-$(CONFIG_EFI_APP) += crt0-efi-ia32.o reloc_ia32.o
 
 ifneq ($(CONFIG_EFI_STUB),)