diff options
| author | Alasdair Armstrong <alasdair.armstrong@cl.cam.ac.uk> | 2019-07-18 16:39:18 +0100 |
|---|---|---|
| committer | Alasdair Armstrong <alasdair.armstrong@cl.cam.ac.uk> | 2019-07-18 17:11:14 +0100 |
| commit | 1714f50b4879329614064dcfd1cd1e14154711fe (patch) | |
| tree | 622892976c778916582ae1aa2c48c86af712c23f /model/riscv_xlen64.sail | |
| parent | 273ec8b0715b39844101c8081114f2697f291312 (diff) | |
| download | sail-riscv-1714f50b4879329614064dcfd1cd1e14154711fe.zip sail-riscv-1714f50b4879329614064dcfd1cd1e14154711fe.tar.gz sail-riscv-1714f50b4879329614064dcfd1cd1e14154711fe.tar.bz2 | |
Revert "Support DMB/DSB domains"
Move this commit to new_barriers branch until we can update C/SMT/etc
and make a new release of Sail for backwards compatability with the
opam package
This reverts commit 273ec8b0715b39844101c8081114f2697f291312.
Diffstat (limited to 'model/riscv_xlen64.sail')
0 files changed, 0 insertions, 0 deletions