On Saturday 20 November 2004 06:36, Daniel Jacobowitz wrote: > - GAS currently defaults to FPA for all Linux configurations. It > should probably default to FPU_ARCH_VFP for Linux/EABI. It should also default to -meabi=4 Paul