c-parser: now Isabelle2020; mention RISCV64

Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Nov 2, 2020 · aff2037 · aff2037
1 parent be78194
commit aff2037
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/tools/c-parser/INSTALL.md b/tools/c-parser/INSTALL.md
@@ -9,13 +9,14 @@
 NB: These instructions apply to the stand-alone release of the C parser.
 If this is in an L4.verified checkout, see the top-level README.md instead.
 
-This code requires Isabelle2019 and the MLton SML compiler.
+This code requires Isabelle2020 and the MLton SML compiler.
 
 The C parser supports multiple target architectures:
 
     - ARM
     - ARM_HYP
     - X64
+    - RISCV64
 
 These platforms differ in integer sizes and various other details.
 Choose your desired architecture using the L4V_ARCH environment variable: