TARGET_FPU = "hard" require conf/machine/include/tune-ppce5500.inc require conf/machine/include/qoriq-ppc.inc MACHINEOVERRIDES =. "e5500:"