1CONFIG_SOC_SERIES_RP2XXX=y
2CONFIG_SOC_RP2040=y
3CONFIG_BOARD_RPI_PICO=y
4CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=125000000
5CONFIG_SERIAL=y
6CONFIG_CONSOLE=y
7CONFIG_UART_CONSOLE=y
8CONFIG_GPIO=y
9CONFIG_USE_DT_CODE_PARTITION=y
10CONFIG_BUILD_OUTPUT_UF2=y
11CONFIG_BUILD_OUTPUT_HEX=y
12CONFIG_UART_INTERRUPT_DRIVEN=y
13CONFIG_RESET=y
14