nuttx/configs/flipnclick-pic32mz/include
..
board.h