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

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