diff options
Diffstat (limited to 'scripts/wrapper/spike')
-rwxr-xr-x | scripts/wrapper/spike/riscv64-unknown-linux-gnu-run | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/wrapper/spike/riscv64-unknown-linux-gnu-run b/scripts/wrapper/spike/riscv64-unknown-linux-gnu-run index fb569f1..29f9bf3 100755 --- a/scripts/wrapper/spike/riscv64-unknown-linux-gnu-run +++ b/scripts/wrapper/spike/riscv64-unknown-linux-gnu-run @@ -6,7 +6,8 @@ varch="$(march-to-cpu-opt --elf-file-path $1 --print-spike-varch)" isa_option="--isa=${isa}" varch_option="" +memory_option="--misaligned" [[ ! -z ${varch} ]] && varch_option="--varch=${varch}" -spike ${isa_option} ${varch_option} ${PK_PATH}/pk${xlen} "$@" +spike ${memory_option} ${isa_option} ${varch_option} ${PK_PATH}/pk${xlen} "$@" |