# SPDX-License-Identifier: BSD-2-Clause

config PLATFORM_OPENPITON_FPGA
	bool
	default y
