# SPDX-License-Identifier: BSD-2-Clause config PLATFORM_OPENPITON_FPGA bool default y