# Makefile for the linux kernel.
#
+ifdef CONFIG_PPC64BRIDGE
+EXTRA_AFLAGS := -Wa,-mppc64bridge
+endif
+ifdef CONFIG_4xx
+EXTRA_AFLAGS := -Wa,-m405
+endif
+ifdef CONFIG_E500
+EXTRA_AFLAGS := -Wa,-me500
+endif
+
extra-$(CONFIG_PPC_STD_MMU) := head.o
extra-$(CONFIG_40x) := head_4xx.o
extra-$(CONFIG_44x) := head_44x.o