nuttx/boards/pic32mz-starterkit/configs
..
nsh