nuttx/boards/arm/s32k1xx/s32k118evb/configs
..
nsh