incubator-nuttx/configs/stm32_tiny/include
..
board.h