From 42c5b7c10ed8cd1ad154a1644e6ac1b36604a526 Mon Sep 17 00:00:00 2001
From: Germain Haugou <germain.haugou@iis.ee.ethz.ch>
Date: Thu, 19 Dec 2019 15:31:50 +0100
Subject: [PATCH] Added missing get_core_num

---
 include/pulp.h | 2 ++
 1 file changed, 2 insertions(+)

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);