H. Peter Anvin wrote: >> >> This is on a Debian ARM box, little-endian with standard ABI (i.e. not >> EABI) > > Where can I find documentation on these ABIs? > Never mind, I found a link on Codesourcery's webpage. -hpa