## Makefile for the linux kernel.#extra-$(CONFIG_PPC_STD_MMU):= head.oextra-$(CONFIG_40x):= head_4xx.oextra-$(CONFIG_44x):= head_44x.oextra-$(CONFIG_FSL_BOOKE):= head_fsl_booke.oextra-$(CONFIG_8xx):= head_8xx.oextra-$(CONFIG_6xx)+= idle_6xx.oextra-$(CONFIG_POWER4)+= idle_power4.o