Kconfig:
[coreboot.git] / src / mainboard / msi / Kconfig
index dfd4eb6234f20c5b94743441395ec4cf0718ce15..8966122c452c8db32eb445343243d1daa69bd4ae 100644 (file)
@@ -25,6 +25,10 @@ choice
 source "src/mainboard/msi/ms6119/Kconfig"
 source "src/mainboard/msi/ms6147/Kconfig"
 source "src/mainboard/msi/ms6178/Kconfig"
+source "src/mainboard/msi/ms7135/Kconfig"
+source "src/mainboard/msi/ms7260/Kconfig"
+source "src/mainboard/msi/ms9185/Kconfig"
+source "src/mainboard/msi/ms9282/Kconfig"
 
 endchoice