adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

c-parser: now Isabelle2020; mention RISCV64 

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
This commit is contained in:
Gerwin Klein 2020-11-02 16:45:47 +10:00 committed by Gerwin Klein
parent be78194fee
commit aff203786c
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
tools/c-parser/INSTALL.md
View File

@ -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: