On Wed, May 15, 2019 at 2:24 PM Nick Desaulniers ndesaulniers@google.com wrote:
what's the difference between OABI and AEABI (honestly don't know enough about anything less than ARMv8)?
https://wiki.embeddedarm.com/wiki/EABI_vs_OABI seems like a good reference.