1# SPDX-License-Identifier: (GPL-2.0+ OR MIT) 2 3config SYS_VENDOR 4 default "mscc" 5 6if SOC_SERVALT 7 8config SYS_BOARD 9 default "servalt" 10 11config SYS_CONFIG_NAME 12 default "servalt" 13 14endif 15