nuttx/configs/freedom-k28f/include
..
board.h