aboutsummaryrefslogtreecommitdiff
path: root/ocaml_emulator/platform.ml
diff options
context:
space:
mode:
Diffstat (limited to 'ocaml_emulator/platform.ml')
-rw-r--r--ocaml_emulator/platform.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/ocaml_emulator/platform.ml b/ocaml_emulator/platform.ml
index b2a19fe..9996268 100644
--- a/ocaml_emulator/platform.ml
+++ b/ocaml_emulator/platform.ml
@@ -75,6 +75,7 @@ let make_rom arch start_pc =
let enable_writable_misa () = !config_enable_writable_misa
let enable_rvc () = !config_enable_rvc
+let enable_fdext () = false
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