> The port is also *very* out-of-date. Not only does it not use the EABI, > but it hasn't had support for any core added since ARMv5 (and ARMv6 was > announced in 2002)!
What do you mean exactly? The port works fine on ARMv7. > I therefore propose that we consider this port for deprecation. We have a port to VxWorks 7, which is EABI/AAPCS, ready to be contributed. -- Eric Botcazou