diff --git a/testbench/tests.vh b/testbench/tests.vh index 4e64e8482..e2292ace4 100644 --- a/testbench/tests.vh +++ b/testbench/tests.vh @@ -53,7 +53,6 @@ string tvpaths[] = '{ "lsu", "vm64check", "pmp", - "pmpcfg", "pmpcfg1", "pmpcfg2", diff --git a/tests/coverage/pmpcfg.S b/tests/coverage/pmpcfg.S index d65f810e5..74181ab62 100644 --- a/tests/coverage/pmpcfg.S +++ b/tests/coverage/pmpcfg.S @@ -36,4 +36,6 @@ main: li t0, 0x8800 csrw pmpcfg0, t0 + j done + diff --git a/tests/coverage/pmpcfg2.S b/tests/coverage/pmpcfg2.S new file mode 100644 index 000000000..5966e3cdc --- /dev/null +++ b/tests/coverage/pmpcfg2.S @@ -0,0 +1,12 @@ +// pmpcfg part 3 +// Kevin Wan, kewan@hmc.edu, 4/18/2023 +// locks each pmpXcfg bit field in order, from X = 15 to X = 0, with the A[1:0] field set to TOR. +// See the next part in pmpcfg1.S + +#include "WALLY-init-lib.h" +main: + li t0, 0x80 + csrw pmpcfg0, t0 + + + j done \ No newline at end of file