nuttx/configs/kwikstik-k40/include
..
board.h