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