diff options
| author | Prashanth Mundkur | 2018-06-04 16:01:16 -0700 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-06-04 16:14:50 -0700 |
| commit | 32d850c32ab09012e99b273ed2bccd72ca871051 (patch) | |
| tree | 9613d18cb89b4fb82a517ee13a8a4fc054b15a11 /src/bytecode_util.ml | |
| parent | 39018332282418b96e2da101b2beb513e19bfd86 (diff) | |
Add the htif exit command, a top-level function to initialize the riscv platform, and document the artificial wreg effect due to using registers for device state.
Diffstat (limited to 'src/bytecode_util.ml')
0 files changed, 0 insertions, 0 deletions