nuttx/boards/arm/s32k1xx/s32k144evb/configs/nsh
..
defconfig