diff options
author | Jessica Clarke <jrtc27@jrtc27.com> | 2021-11-17 15:42:40 +0000 |
---|---|---|
committer | Jessica Clarke <jrtc27@jrtc27.com> | 2021-11-17 15:42:48 +0000 |
commit | af44432ce770349500e7fa07362cca5d7ef334f0 (patch) | |
tree | 19f2dda1578a9b9ff0a68fca17d540f42fb98d4b /ocaml_emulator | |
parent | c5e62ea4b3d481fcd491b22b317cc319b089f05d (diff) | |
download | sail-riscv-af44432ce770349500e7fa07362cca5d7ef334f0.zip sail-riscv-af44432ce770349500e7fa07362cca5d7ef334f0.tar.gz sail-riscv-af44432ce770349500e7fa07362cca5d7ef334f0.tar.bz2 |
Revert "Initial introduction of zfinx (#75)"
This reverts commit c5e62ea4b3d481fcd491b22b317cc319b089f05d.
Diffstat (limited to 'ocaml_emulator')
-rw-r--r-- | ocaml_emulator/platform.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/ocaml_emulator/platform.ml b/ocaml_emulator/platform.ml index a1d9c82..81e33da 100644 --- a/ocaml_emulator/platform.ml +++ b/ocaml_emulator/platform.ml @@ -11,7 +11,6 @@ let config_enable_dirty_update = ref false let config_enable_misaligned_access = ref false let config_mtval_has_illegal_inst_bits = ref false let config_enable_pmp = ref false -let config_enable_zfinx = ref false let platform_arch = ref P.RV64 @@ -83,7 +82,6 @@ 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 () = !config_enable_zfinx let rom_base () = arch_bits_of_int64 P.rom_base let rom_size () = arch_bits_of_int !rom_size_ref |