Merge branch 'develop' into risc-v

diff --cc Makefile.system
Simple merge

diff --cc TargetList.txt
Simple merge

diff --cc c_check
Simple merge

diff --cc common.h
Simple merge

diff --cc ctest.c
index b010274,cd84ab1..d674a8c
--- 1/ctest.c
--- 2/ctest.c
+++ b/ctest.c
@@@ -153,7 -153,6 +153,11 @@@ ARCH_AR
  ARCH_ARM64
  #endif
  
 +#if defined(__riscv)
 +ARCH_RISCV64
 +#endif
 +
+ #if (defined(__STDC_VERSION__) && __STDC_VERSION__ >= 201112L)
+ HAVE_C11
+ #endif
++

diff --cc getarch.c
Simple merge

diff --cc kernel/Makefile.L3
Simple merge

diff --cc param.h
Simple merge