/libc/ports/sysdeps/arm/armv7/