name: hal_rpi_pico build: cmake-ext: True kconfig-ext: True