1# 2# Makefile for the linux kernel. 3# 4 5extra-$(CONFIG_PPC_STD_MMU) := head.o 6extra_$(CONFIG_PPC64) := head_64.o 7extra-$(CONFIG_40x) := head_4xx.o 8extra-$(CONFIG_44x) := head_44x.o 9extra-$(CONFIG_FSL_BOOKE) := head_fsl_booke.o 10extra-$(CONFIG_8xx) := head_8xx.o 11extra-$(CONFIG_6xx) += idle_6xx.o 12extra-$(CONFIG_POWER4) += idle_power4.o 13extra-$(CONFIG_PPC_FPU) += fpu.o 14extra-y += vmlinux.lds 15 16obj-y := semaphore.o traps.o process.o 17obj-$(CONFIG_MODULES) += ppc_ksyms.o 18obj-$(CONFIG_ALTIVEC) += vecemu.o vector.o 19