diff options
| author | Prashanth Mundkur | 2018-07-10 10:08:12 -0700 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-07-10 10:08:12 -0700 |
| commit | 1b99f1bcb57b1ae1eae08129e579e3618253a321 (patch) | |
| tree | f3a9c7d13ad95fb7981737f66e57e83c70642d90 /snapshots/coq/lib | |
| parent | defeb0288cf2c4b5315a11a20de142318d921fc7 (diff) | |
Support riscv atomic accesses to mmio regions, used by linux to access device registers.
Diffstat (limited to 'snapshots/coq/lib')
0 files changed, 0 insertions, 0 deletions