Merge branch 'develop' into risc-v

diff --cc Makefile.system
Simple merge

diff --cc c_check
Simple merge

diff --cc common.h
Simple merge

diff --cc ctest.c
Simple merge

diff --cc getarch.c
index 7f7fd97,d29f636..d0d2605
--- 1/getarch.c
--- 2/getarch.c
+++ b/getarch.c
@@@ -603,8 -637,19 +637,20 @@@ USE OF THIS SOFTWARE, EVEN IF ADVISED O
  #define CORENAME  "POWER8"
  #endif
  
+ #if defined(FORCE_POWER9) 
+ #define FORCE
+ #define ARCHITECTURE    "POWER"
+ #define SUBARCHITECTURE "POWER9"
+ #define SUBDIRNAME      "power"
+ #define ARCHCONFIG   "-DPOWER9 " \
+                    "-DL1_DATA_SIZE=32768 -DL1_DATA_LINESIZE=128 " \
+                    "-DL2_SIZE=4194304 -DL2_LINESIZE=128 " \
+                    "-DDTB_DEFAULT_ENTRIES=128 -DDTB_SIZE=4096 -DL2_ASSOCIATIVE=8 "
+ #define LIBNAME   "power9"
+ #define CORENAME  "POWER9"
+ #endif
  
 +
  #ifdef FORCE_PPCG4
  #define FORCE
  #define ARCHITECTURE    "POWER"

diff --cc kernel/Makefile.L3
Simple merge

diff --cc param.h
Simple merge