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
14 obj-y += init_helpers.o
16 obj-$(CONFIG_SYS_PCAT_INTERRUPTS) += pcat_interrupts.o
17 obj-$(CONFIG_SYS_PCAT_TIMER) += pcat_timer.o
18 obj-$(CONFIG_PCI) += pci_type1.o
21 obj-$(CONFIG_X86_RAMTEST) += ramtest.o
23 obj-$(CONFIG_SYS_X86_TSC_TIMER) += tsc_timer.o
24 obj-$(CONFIG_VIDEO_VGA) += video.o
25 obj-$(CONFIG_CMD_ZBOOT) += zimage.o
27 extra-$(CONFIG_USE_PRIVATE_LIBGCC) := lib.a
29 NORMAL_LIBGCC = $(shell $(CC) $(PLATFORM_CPPFLAGS) -print-libgcc-file-name)
30 OBJCOPYFLAGS := --prefix-symbols=__normal_
31 $(obj)/lib.a: $(NORMAL_LIBGCC) FORCE
32 $(call if_changed,objcopy)