diff options
author | Jessica Clarke <jrtc27@jrtc27.com> | 2021-11-22 18:02:40 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-11-22 18:02:40 +0000 |
commit | 085cfcd3fc3be92aaa86b4caabf9d248eae5f83e (patch) | |
tree | 03c8408dd35adcc2fa2d28707aeb9867fa6de056 /ocaml_emulator | |
parent | 43e0dd239f64b0c330f807fed15e639c25c9fda6 (diff) | |
download | sail-riscv-085cfcd3fc3be92aaa86b4caabf9d248eae5f83e.zip sail-riscv-085cfcd3fc3be92aaa86b4caabf9d248eae5f83e.tar.gz sail-riscv-085cfcd3fc3be92aaa86b4caabf9d248eae5f83e.tar.bz2 |
Implement support for Zfinx (#130)
NB: Smstateen support is missing in the model so enabling the Zfinx
extension provides an architectural covert channel via FCSR if
privileged software is not aware of Zfinx's existence.
Co-authored-by: Jessica Clarke <jrtc27@jrtc27.com>
Co-authored-by: Ibrahim Abu Kharmeh <abukharmeh@gmail.com>
Diffstat (limited to 'ocaml_emulator')
-rw-r--r-- | ocaml_emulator/platform.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ocaml_emulator/platform.ml b/ocaml_emulator/platform.ml index 81e33da..ccf4875 100644 --- a/ocaml_emulator/platform.ml +++ b/ocaml_emulator/platform.ml @@ -82,6 +82,7 @@ let enable_dirty_update () = !config_enable_dirty_update let enable_misaligned_access () = !config_enable_misaligned_access let mtval_has_illegal_inst_bits () = !config_mtval_has_illegal_inst_bits let enable_pmp () = !config_enable_pmp +let enable_zfinx () = false let rom_base () = arch_bits_of_int64 P.rom_base let rom_size () = arch_bits_of_int !rom_size_ref |