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