From bbb65b3c3422d02989015a6135cf36107f10ad95 Mon Sep 17 00:00:00 2001 From: Prashanth Mundkur Date: Mon, 24 Jun 2019 16:55:18 -0700 Subject: Add PMP checks to physical memory accesses. - unify AccessType and ReadType since they were essentially redundant, making it easier to implement PMP checks for ReadWrite/atomic accesses. - add command line options to enable PMP in the platform - also fix the matching for the case when all entries are off --- model/riscv_sys_control.sail | 2 ++ 1 file changed, 2 insertions(+) (limited to 'model/riscv_sys_control.sail') diff --git a/model/riscv_sys_control.sail b/model/riscv_sys_control.sail index e866986..27c2566 100644 --- a/model/riscv_sys_control.sail +++ b/model/riscv_sys_control.sail @@ -444,6 +444,8 @@ function init_sys() -> unit = { minstret = EXTZ(0b0); minstret_written = false; + init_pmp(); + // log compatibility with spike print_reg("CSR mstatus <- " ^ BitStr(mstatus.bits()) ^ " (input: " ^ BitStr(EXTZ(0b0) : xlenbits) ^ ")") } -- cgit v1.1