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
17 obj-
$(CONFIG_MODULES
) += ppc_ksyms.o
18 obj-
$(CONFIG_ALTIVEC
) += vecemu.o vector.o