From c045e3d5f2d3e89e4449710ba2c56c326c13d399 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Tue, 8 Mar 2016 16:08:11 +0100
Subject: [PATCH] increase the number of cores

---
 hermit/include/hermit/config.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/hermit/include/hermit/config.h b/hermit/include/hermit/config.h
index a5da3bf1b..17780bde6 100644
--- a/hermit/include/hermit/config.h
+++ b/hermit/include/hermit/config.h
@@ -32,8 +32,8 @@
 extern "C" {
 #endif
 
-#define MAX_CORES		128
-#define MAX_TASKS		16
+#define MAX_CORES		64
+#define MAX_TASKS		(MAX_CORES*2+2)
 #define MAX_ISLE		8
 #define MAX_FNAME		128
 #define TIMER_FREQ		100 /* in HZ */