diff --git a/src/cheri_regs.sail b/src/cheri_regs.sail index 9bd71bb..d99c083 100644 --- a/src/cheri_regs.sail +++ b/src/cheri_regs.sail @@ -128,7 +128,7 @@ function ext_init_regs () = { PCC = root_cap_exe; nextPCC = root_cap_exe; - MTCC = root_cap_mem; + MTCC = root_cap_exe; MTDC = root_cap_mem; MScratchC = root_cap_seal; MEPCC = root_cap_exe;