1*a834cb81SHoratiu Vultur# SPDX-License-Identifier: (GPL-2.0+ OR MIT) 2*a834cb81SHoratiu Vultur 3*a834cb81SHoratiu Vulturconfig SYS_VENDOR 4*a834cb81SHoratiu Vultur default "mscc" 5*a834cb81SHoratiu Vultur 6*a834cb81SHoratiu Vulturif SOC_SERVAL 7*a834cb81SHoratiu Vultur 8*a834cb81SHoratiu Vulturconfig SYS_BOARD 9*a834cb81SHoratiu Vultur default "serval" 10*a834cb81SHoratiu Vultur 11*a834cb81SHoratiu Vulturconfig SYS_CONFIG_NAME 12*a834cb81SHoratiu Vultur default "serval" 13*a834cb81SHoratiu Vultur 14*a834cb81SHoratiu Vulturendif 15