Align several kconfig options to match newconfig:
[coreboot.git] / src / mainboard / roda / rk886ex / Kconfig
index 4f1f8727fd6a11e8d6992a458c7f6a3fa01e8a0f..33c5cec82722b547403f44ec1a588e5eef58ea8b 100644 (file)
@@ -58,6 +58,11 @@ config IRQ_SLOT_COUNT
        default 18
        depends on BOARD_RODA_RK886EX
 
+config MAX_CPUS
+       int
+       default 4
+       depends on BOARD_RODA_RK886EX
+
 config MAX_PHYSICAL_CPUS
        int
        default 2