diff --git a/testbench/tests.vh b/testbench/tests.vh
index 478cd3cd..79f100d4 100644
--- a/testbench/tests.vh
+++ b/testbench/tests.vh
@@ -1964,17 +1964,19 @@ string arch64zbs[] = '{
     "rv32i_m/privilege/src/WALLY-trap-u-01.S",
     "rv32i_m/privilege/src/WALLY-wfi-01.S",
     "rv32i_m/privilege/src/WALLY-endianness-01.S",
-    "rv32i_m/privilege/src/WALLY-satp-invalid-01.S"
- };
-
- string wally32periph[] = '{
-    `WALLYTEST,
-    "rv32i_m/privilege/src/WALLY-periph-01.S",
+    "rv32i_m/privilege/src/WALLY-satp-invalid-01.S",
+    // These peripherals are here instead of wally32periph because they don't work on rv32imc, which lacks a PMP register to configure
     "rv32i_m/privilege/src/WALLY-gpio-01.S",
     "rv32i_m/privilege/src/WALLY-clint-01.S",
     "rv32i_m/privilege/src/WALLY-uart-01.S",
     "rv32i_m/privilege/src/WALLY-plic-01.S",
     "rv32i_m/privilege/src/WALLY-plic-s-01.S"
+
+ };
+
+ string wally32periph[] = '{
+    `WALLYTEST,
+    "rv32i_m/privilege/src/WALLY-periph-01.S"
  };