| CONFIG_SOC_SERIES_RP2XXX=y | |
| CONFIG_SOC_RP2040=y | |
| CONFIG_BOARD_RPI_PICO=y | |
| CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=125000000 | |
| CONFIG_SERIAL=y | |
| CONFIG_CONSOLE=y | |
| CONFIG_UART_CONSOLE=y | |
| CONFIG_GPIO=y | |
| CONFIG_USE_DT_CODE_PARTITION=y | |
| CONFIG_BUILD_OUTPUT_UF2=y | |
| CONFIG_BUILD_OUTPUT_HEX=y | |
| CONFIG_UART_INTERRUPT_DRIVEN=y | |
| CONFIG_RESET=y |