diff options
| author | Prashanth Mundkur | 2018-09-28 16:39:58 -0700 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-10-23 15:32:15 -0700 |
| commit | a23fb23f91922152104852e92c672588a4bfa977 (patch) | |
| tree | df378660630923fc852e3bb941dc5d6d5b345419 /src/initial_check.ml | |
| parent | 00408df7ee7c7ffbac836202071521998556589b (diff) | |
RISC-V: add default reset vector.
Diffstat (limited to 'src/initial_check.ml')
0 files changed, 0 insertions, 0 deletions