/nuttx/configs/teensy31/include/

• ../
• board.h