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_csr_ext.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_csr_ext.sail')
0 files changed, 0 insertions, 0 deletions