nuttx/libs/libc/machine/arm64
..
gnu
Kconfig
Make.defs