riscv: Provide hidden MAX_NUM_NODES variable

The kernel assumes the existance of this configuration variable so for riscv we provide a hidden one that the user cannot change with the value of 1
2018-04-11 11:54:28 +10:00
parent 76c61025ac
commit 543372e755
1 changed files with 3 additions and 0 deletions
--- a/3
+++ b/3
@@ -439,6 +439,9 @@ menu "seL4 System Parameters"
        default 1
        help
            The number of CPU cores to boot
+    config MAX_NUM_NODES
+        depends on ARCH_RISCV
+        default 1

    config CACHE_LN_SZ
        int "Cache line size"