Add a config flag to enable time stamp collection

[coreboot.git] / src / mainboard / rca / Kconfig

diff --git a/src/mainboard/rca/Kconfig b/src/mainboard/rca/Kconfig
index bd272be17e3920806ad4078d8de927937a7c90ff..c5c9fa6af2d5b5356f97cbafb0bd765239f292b0 100644 (file)
--- a/src/mainboard/rca/Kconfig
+++ b/src/mainboard/rca/Kconfig
@@ -1,8 +1,17 @@
+if VENDOR_RCA
+
 choice
        prompt "Mainboard model"
-       depends on VENDOR_RCA
 
-source "src/mainboard/rca/rm4100/Kconfig"
+config BOARD_RCA_RM4100
+       bool "RM4100"
 
 endchoice
 
+source "src/mainboard/rca/rm4100/Kconfig"
+
+config MAINBOARD_VENDOR
+       string
+       default "RCA"
+
+endif # VENDOR_RCA