diff --git a/include/pulp.h b/include/pulp.h
index 41a055c..feea7fc 100755
--- a/include/pulp.h
+++ b/include/pulp.h
@@ -46,6 +46,8 @@ void _start();
 #define rt_core_id hal_core_id
 #define rt_cluster_id hal_cluster_id
 
+static inline int get_core_num() { return ARCHI_CLUSTER_NB_PE; }
+
 
 
 int uart_open(int uart_id, int baudrate);