set(PICO_BOARD "olimex_rp2350_xl")
set(PICO_NUM_GPIOS 48)