It looks U-Boot is generally built using soft float. I need hard-float in my system. Is this a general enough need that it'd make sense to have a CONFIG_SYS_HARD_FLOAT to enable this option? I made a quick update for mpc85xx (guarded by CONFIG_SYS_HARD_FLOAT) and I seem to be running fine. Thanks, Dean