Kconfig.name « d41s « foxconn « mainboard « src - coreboot.git - Coreboot firmware sources

summary refs log tree commit diff stats

path: root/src/mainboard/foxconn/d41s/Kconfig.name

blob: 7d5a9b3a2a83a98f56df8ab877ff2f5133dc72fd (plain)

## SPDX-License-Identifier: GPL-2.0-only

config BOARD_FOXCONN_D41S
	bool "D41S, D42S, D51S, D52S"