nuttx/libc/machine/armv7-a
..
gnu
Kconfig
Make.defs