1  ## SPDX-License-Identifier: GPL-2.0-only
 2  
 3  if VENDOR_SUPERMICRO
 4  
 5  choice
 6  	prompt "Mainboard model"
 7  
 8  source "src/mainboard/supermicro/*/Kconfig.name"
 9  
10  endchoice
11  
12  source "src/mainboard/supermicro/*/Kconfig"
13  
14  config MAINBOARD_VENDOR
15  	default "Supermicro"
16  
17  endif # VENDOR_SUPERMICRO