> IIRC, NetBSD's behavior in this regard is actually compatible=20
> with ATPCS, is it not?

This is part of the question that got me digging into the compiler in
the first place.

We have 3rd party vendors that would prefer to deliver binaries and
prefer to use ARM's compilers. We are finding that when RVCT generates
EABI code it is not compatible with NetBSD. Structure alignment turns
out to be a significant problem for us.

We are also finding that ATPCS compatibility is not sufficient to
guarentee ARM EABI compatibility for this reason and others.