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

 # Serpente board configuration
 # Copyright (c) 2020 Alexander Falb <fal3xx@gmail.com>
 # SPDX-License-Identifier: Apache-2.0

 config BOARD
 	default "serpente"
 	depends on BOARD_SERPENTE
	# Serpente board configuration
	# Copyright (c) 2020 Alexander Falb <fal3xx@gmail.com>
	# SPDX-License-Identifier: Apache-2.0

	config BOARD
	default "serpente"
	depends on BOARD_SERPENTE