diff --git a/include/archi/chips/control-pulp/pulp.h b/include/archi/chips/control-pulp/pulp.h
index 910720c..486a082 100644
--- a/include/archi/chips/control-pulp/pulp.h
+++ b/include/archi/chips/control-pulp/pulp.h
@@ -23,10 +23,17 @@
 
 #include "archi/itc/itc_v1.h"
 
+// cv32e40p-specific
+#include "archi/cv32e40p/cv32e40p.h"
+#include "archi/riscv/priv_1_11.h"
+
 #include "archi/chips/control-pulp/memory_map.h"
 #include "archi/chips/control-pulp/apb_soc.h"
+#include "archi/stdout/stdout_v3.h"
+#include "archi/dma/mchan_v7.h"
 
 #include "archi/udma/spim/udma_spim_v3.h"
+#include "archi/udma/i2c/udma_i2c_v2.h"
 #include "archi/udma/uart/udma_uart_v1.h"
 #include "archi/udma/udma_v3.h"
 
diff --git a/include/archi/riscv/priv_1_11.h b/include/archi/riscv/priv_1_11.h
new file mode 100644
index 0000000..11a836f
--- /dev/null
+++ b/include/archi/riscv/priv_1_11.h
@@ -0,0 +1,55 @@
+/*
+ * Copyright (C) 2018 ETH Zurich and University of Bologna
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+#ifndef _ARCHI_RISCV_PRIV_1_9_H
+#define _ARCHI_RISCV_PRIV_1_9_H
+
+#define RV_CSR_MSTATUS  0x300
+#define RV_CSR_MEPC     0x341
+#define RV_CSR_MCAUSE   0x342
+#define RV_CSR_MTVAL    0x343
+#define RV_CSR_MESTATUS 0x7C0
+#ifdef RISCV_1_7
+#define RV_CSR_MCPUID   0xF00
+#define RV_CSR_MIMPID   0xF01
+#define RV_CSR_MHARTID  0xF10
+#else
+#define RV_CSR_MISA     0xF10
+#define RV_CSR_MIMPID   0xF13
+#define RV_CSR_MHARTID  0xF14
+#endif
+
+#define CSR_PCCR(N)	(0x780 + (N))
+#define CSR_PCER	0xCC0
+#define CSR_PCMR	0xCC1
+
+#define CSR_STACK_CONF   0x7D0
+#define CSR_STACK_START  0x7D1
+#define CSR_STACK_END    0x7D2
+
+#define CSR_MESTATUS_INTEN_BIT 0
+#define CSR_MESTATUS_PRV_BIT   1
+
+#define CSR_MESTATUS_PRV_MACH  3
+
+#define CSR_HWLOOP0_START   0x800
+#define CSR_HWLOOP0_END     0x801
+#define CSR_HWLOOP0_COUNTER 0x802
+#define CSR_HWLOOP1_START   0x804
+#define CSR_HWLOOP1_END     0x805
+#define CSR_HWLOOP1_COUNTER 0x806
+
+#endif
diff --git a/include/hal/chips/control-pulp/pulp.h b/include/hal/chips/control-pulp/pulp.h
index 0a4e0b4..70e564e 100644
--- a/include/hal/chips/control-pulp/pulp.h
+++ b/include/hal/chips/control-pulp/pulp.h
@@ -17,7 +17,9 @@
 #ifndef __HAL_CHIPS_CONTROL_PULP_H__
 #define __HAL_CHIPS_CONTROL_PULP_H__
 
-#include "hal/riscv/riscv_v5.h"
+// cv32e40p-specific
+#include "hal/cv32e40p/cv32e40p.h"
+
 #include "hal/eu/eu_v3.h"
 #include "hal/itc/itc_v1.h"
 #include "hal/dma/mchan_v7.h"