# | |
# Makefile for the linux kernel. | |
# | |
extra-$(CONFIG_PPC_STD_MMU) := head.o | |
extra_$(CONFIG_PPC64) := head_64.o | |
extra-$(CONFIG_40x) := head_4xx.o | |
extra-$(CONFIG_44x) := head_44x.o | |
extra-$(CONFIG_FSL_BOOKE) := head_fsl_booke.o | |
extra-$(CONFIG_8xx) := head_8xx.o | |
extra-$(CONFIG_6xx) += idle_6xx.o | |
extra-$(CONFIG_POWER4) += idle_power4.o | |
extra-$(CONFIG_PPC_FPU) += fpu.o | |
extra-y += vmlinux.lds | |
obj-y := semaphore.o traps.o process.o | |
obj-$(CONFIG_MODULES) += ppc_ksyms.o | |
obj-$(CONFIG_ALTIVEC) += vecemu.o vector.o |