boards/arm64/rpi_4b/Kconfig.defconfig - third_party/github/zephyrproject-rtos/zephyr - Git at Google

 # Copyright 2023 honglin leng <a909204013@gmail.com>
 # SPDX-License-Identifier: Apache-2.0

 config BOARD
 	default "Raspberry Pi 4 Model B"
 	depends on BOARD_RPI_4B
	# Copyright 2023 honglin leng <a909204013@gmail.com>
	# SPDX-License-Identifier: Apache-2.0

	config BOARD
	default "Raspberry Pi 4 Model B"
	depends on BOARD_RPI_4B