From 543372e755ff07b8a895486760c7a4b8d3ddffc6 Mon Sep 17 00:00:00 2001
From: Adrian Danis <Adrian.Danis@data61.csiro.au>
Date: Wed, 11 Apr 2018 11:54:28 +1000
Subject: [PATCH] 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
---
 Kconfig | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Kconfig b/Kconfig
index a3096dae9..ea1ab25f0 100644
--- a/Kconfig
+++ b/Kconfig
@@ -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"