summaryrefslogtreecommitdiff
path: root/aarch64
diff options
context:
space:
mode:
authorAlasdair Armstrong2018-01-18 19:43:25 +0000
committerAlasdair Armstrong2018-01-18 20:01:19 +0000
commit704ff871b9d0b875307a15252d8ec7fc90ef6de4 (patch)
tree9907d98fa9111c0a035897e56865d7d0ff976849 /aarch64
parent4baf8922637537e7f6594c79fdb00cf931f1232b (diff)
Clean up command line options slightly
Changed -mono-split to -mono_split to be consistent with other options that use underscores, -mono-split still works but gives a warning message, just so nothing breaks immediately because of this. Removed this sil commands since they really don't do anything right now.
Diffstat (limited to 'aarch64')
-rw-r--r--aarch64/no_vector.isail4
1 files changed, 4 insertions, 0 deletions
diff --git a/aarch64/no_vector.isail b/aarch64/no_vector.isail
new file mode 100644
index 00000000..15e29e26
--- /dev/null
+++ b/aarch64/no_vector.isail
@@ -0,0 +1,4 @@
+:unload
+:load prelude.sail no_vector/spec.sail decode_start.sail no_vector/decode.sail decode_end.sail main.sail
+initialize_registers()
+:run \ No newline at end of file