nuttx/boards/arm/s32k1xx/s32k144evb
..
configs/nsh
include
scripts
src
Kconfig