PowerPC Linux系统初始化疑问

richardvip

现在在学习基于E500核的Linux初始化，发现在linux-2.6.34.7\arch\powerpc\kernel下有好多.s，entry_32.s、entry_64.s、head_8xx.S、head_32.S、head_fsl_booke.S等等，看《Linux PowerPC详解：核心篇》中介绍说在linux-2.6.34.7\arch\powerpc\Makefile中根据自己配置决定用哪个.s，但是看这些文件没有看到哪里配置，最终选择，还请知道的大侠介绍下，谢谢
head-y                                := arch/powerpc/kernel/head_$(CONFIG_WORD_SIZE).o
head-$(CONFIG_8xx)                := arch/powerpc/kernel/head_8xx.o
head-$(CONFIG_40x)                := arch/powerpc/kernel/head_40x.o
head-$(CONFIG_44x)                := arch/powerpc/kernel/head_44x.o
head-$(CONFIG_FSL_BOOKE)        := arch/powerpc/kernel/head_fsl_booke.o

head-$(CONFIG_PPC64)                += arch/powerpc/kernel/entry_64.o
head-$(CONFIG_PPC_FPU)                += arch/powerpc/kernel/fpu.o
head-$(CONFIG_ALTIVEC)                += arch/powerpc/kernel/vector.o

readkernel

这些都是编译配置时选择的。
make config