diff options
| author | Prashanth Mundkur | 2018-07-03 14:47:59 -0700 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-07-03 14:48:04 -0700 |
| commit | edc516ff87fa45fd812dd5d7025d5d94c44a80ee (patch) | |
| tree | b58d6365aa1ebd00116e8aa7e30d94b85dc2d485 /lib/hol/sail_valuesAuxiliaryScript.sml | |
| parent | 53959905b8e4bfd4877c1e052195391d89bdb0d6 (diff) | |
Allow the riscv htif_tohost mmio port to be readable, and ack writes to that port.
Diffstat (limited to 'lib/hol/sail_valuesAuxiliaryScript.sml')
0 files changed, 0 insertions, 0 deletions