diff --git a/README.md b/README.md index ca46037..2b40447 100644 --- a/README.md +++ b/README.md @@ -26,6 +26,7 @@ Both implementations pass the [riscv-tests](https://github.com/riscv/riscv-tests - ProSpeCT: Provably Secure Speculation for the Constant-Time Policy: . - Hardware capabilities (CHERI): `src/main/scala/riscv/plugins/cheri`, described in the [CHERI-TrEE](https://github.com/proteus-core/cheritree) work. - CHERI-TrEE: Flexible enclaves on capability machines: . +- Architectural Mimicry (AMi): ## Contributing