src/mainboard/digitallogic/Kconfig

   1 choice
   2         prompt "Mainboard model"
   3         depends on VENDOR_DIGITAL_LOGIC
   4
   5 source "src/mainboard/digitallogic/adl855pc/Kconfig"
   6 source "src/mainboard/digitallogic/msm586seg/Kconfig"
   7 source "src/mainboard/digitallogic/msm800sev/Kconfig"
   8
   9 endchoice
  10