// Put board-specific pico-sdk definitions here. This file must exist.