diff options
-rw-r--r-- | model/riscv_sys_control.sail | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/model/riscv_sys_control.sail b/model/riscv_sys_control.sail index d057ad6..b854053 100644 --- a/model/riscv_sys_control.sail +++ b/model/riscv_sys_control.sail @@ -205,7 +205,6 @@ function check_seed_CSR (csr : csreg, p : Privilege, isWrite : bool) -> bool = { Machine => true, Supervisor => false, /* TODO: base this on mseccfg */ User => false, /* TODO: base this on mseccfg */ - _ => false } } } |