A library to provide aeabi functions for aarch32. It is mainly derived from optee_os at https://github.com/OP-TEE/optee_os.
- Arithmetic operations such as
__aeabi_uldivmod __aeabi_read_tpfunction to make GCC to use TPIDRURW(User Read/Write Thread Pointer ID Register) rather than TPIDRURO