diff options
| author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-01-16 18:50:31 -0800 |
|---|---|---|
| committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-01-16 19:04:30 -0800 |
| commit | 793643d5879f311f8979cc5046f07020cbb375fd (patch) | |
| tree | fbf83b4b5169016dfa2b361b115ec9114d3734c0 /c_emulator | |
| parent | 684f431d52c610cc24d12ae3e7b7def9fa0d5317 (diff) | |
| download | sail-riscv-793643d5879f311f8979cc5046f07020cbb375fd.zip sail-riscv-793643d5879f311f8979cc5046f07020cbb375fd.tar.gz sail-riscv-793643d5879f311f8979cc5046f07020cbb375fd.tar.bz2 | |
More reorg.
. move prover files into a single support directory
. generated_models -> generated_definitions
. reset vector -> c_emulator
Diffstat (limited to 'c_emulator')
| -rw-r--r-- | c_emulator/reset_vec.S | 12 | ||||
| -rwxr-xr-x | c_emulator/reset_vec.bin | bin | 0 -> 28 bytes |
2 files changed, 12 insertions, 0 deletions
diff --git a/c_emulator/reset_vec.S b/c_emulator/reset_vec.S new file mode 100644 index 0000000..526bbc7 --- /dev/null +++ b/c_emulator/reset_vec.S @@ -0,0 +1,12 @@ +.global _start + +.text + +_start: + auipc t0, 0x0 + addi a1, t0, 32 + csrr a0, mhartid + ld t0, 24(t0) + jr t0 +.short 0x0000 +.word 0x00000000, 0x80000000 diff --git a/c_emulator/reset_vec.bin b/c_emulator/reset_vec.bin Binary files differnew file mode 100755 index 0000000..d2d3563 --- /dev/null +++ b/c_emulator/reset_vec.bin |