diff --git a/include/archi/chips/control-pulp/pulp.h b/include/archi/chips/control-pulp/pulp.h
index 22d94ca..d6f1169 100644
--- a/include/archi/chips/control-pulp/pulp.h
+++ b/include/archi/chips/control-pulp/pulp.h
@@ -25,7 +25,7 @@
 
 // cv32e40p-specific
 #include "archi/cv32e40p/cv32e40p.h"
-#include "archi/riscv/priv_1_11.h"
+#include "archi/riscv/priv_1_12.h"
 
 #include "archi/chips/control-pulp/memory_map.h"
 #include "archi/chips/control-pulp/apb_soc.h"