2 # (C) Copyright 2002-2006
3 # Wolfgang Denk, DENX Software Engineering, wd@denx.de.
5 # SPDX-License-Identifier: GPL-2.0+
8 obj-$(CONFIG_CMD_BOOTM) += bootm.o
11 obj-y += init_helpers.o
13 obj-$(CONFIG_SYS_PCAT_INTERRUPTS) += pcat_interrupts.o
14 obj-$(CONFIG_SYS_PCAT_TIMER) += pcat_timer.o
15 obj-$(CONFIG_PCI) += pci_type1.o
19 obj-$(CONFIG_SYS_X86_TSC_TIMER) += tsc_timer.o
20 obj-$(CONFIG_VIDEO_VGA) += video.o
21 obj-$(CONFIG_CMD_ZBOOT) += zimage.o
23 LIBGCC := $(notdir $(NORMAL_LIBGCC))
26 $(obj)$(LIBGCC): $(NORMAL_LIBGCC)
27 $(OBJCOPY) $< $@ --prefix-symbols=__normal_