2 # (C) Copyright 2002-2006
3 # Wolfgang Denk, DENX Software Engineering, wd@denx.de.
5 # SPDX-License-Identifier: GPL-2.0+
10 obj-y += bios_interrupts.o
11 obj-$(CONFIG_CMD_BOOTM) += bootm.o
13 obj-$(CONFIG_EFI) += efi/
16 obj-y += init_helpers.o
20 obj-$(CONFIG_ENABLE_MRC_CACHE) += mrccache.o
22 obj-$(CONFIG_I8259_PIC) += i8259.o
23 obj-$(CONFIG_I8254_TIMER) += i8254.o
25 obj-$(CONFIG_PCI) += pci_type1.o
28 obj-y += pirq_routing.o
31 obj-$(CONFIG_X86_RAMTEST) += ramtest.o
33 obj-$(CONFIG_GENERATE_SMBIOS_TABLE) += smbios.o
35 obj-$(CONFIG_GENERATE_ACPI_TABLE) += acpi_table.o
37 obj-$(CONFIG_CMD_ZBOOT) += zimage.o
38 obj-$(CONFIG_HAVE_FSP) += fsp/
40 extra-$(CONFIG_USE_PRIVATE_LIBGCC) += lib.a
42 NORMAL_LIBGCC = $(shell $(CC) $(PLATFORM_CPPFLAGS) -print-libgcc-file-name)
43 OBJCOPYFLAGS := --prefix-symbols=__normal_
44 $(obj)/lib.a: $(NORMAL_LIBGCC) FORCE
45 $(call if_changed,objcopy)