devicetree.cb: Only add as many entries as there are DIMM slots.
[coreboot.git] / src / mainboard / technexion / Kconfig
1 if VENDOR_TECHNEXION
2
3 choice
4         prompt "Mainboard model"
5
6 config BOARD_TECHNEXION_TIM5690
7         bool "TIM-5690"
8 config BOARD_TECHNEXION_TIM8690
9         bool "TIM-8690"
10
11 endchoice
12
13 source "src/mainboard/technexion/tim5690/Kconfig"
14 source "src/mainboard/technexion/tim8690/Kconfig"
15
16 config MAINBOARD_VENDOR
17         string
18         default "Technexion"
19
20 endif # VENDOR_TECHNEXION