From aff203786c1f89ddbb733eeee1672a628dfeaca1 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Mon, 2 Nov 2020 16:45:47 +1000 Subject: [PATCH] c-parser: now Isabelle2020; mention RISCV64 Signed-off-by: Gerwin Klein --- tools/c-parser/INSTALL.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tools/c-parser/INSTALL.md b/tools/c-parser/INSTALL.md index 023e6809c..b9f75fa9f 100644 --- 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: