boards/arm/rpi_pico/Kconfig.defconfig - third_party/github/zephyrproject-rtos/zephyr - Git at Google

 # Copyright (c) 2021 Yonatan Schachter
 # SPDX-License-Identifier: Apache-2.0

 if BOARD_RPI_PICO

 config BOARD
 	default "rpi_pico"

 config RP2_FLASH_W25Q080
 	default y

 endif # BOARD_RPI_PICO
	# Copyright (c) 2021 Yonatan Schachter
	# SPDX-License-Identifier: Apache-2.0

	if BOARD_RPI_PICO

	config BOARD
	default "rpi_pico"

	config RP2_FLASH_W25Q080
	default y

	endif # BOARD_RPI_PICO