px4-firmware/boards/raspberrypi/pico/nuttx-config/include
..
board.h