From 78e59f62f736aa5557b23f0d70e4ca8b35d79a55 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Wed, 9 Nov 2016 22:07:06 +0100
Subject: [PATCH] increase the default number of cores

---
 hermit/include/hermit/config.h | 2 +-
 hermit/usr/binutils            | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/hermit/include/hermit/config.h b/hermit/include/hermit/config.h
index fa001f6f8..aa7cdea1b 100644
--- a/hermit/include/hermit/config.h
+++ b/hermit/include/hermit/config.h
@@ -32,7 +32,7 @@
 extern "C" {
 #endif
 
-#define MAX_CORES		256
+#define MAX_CORES		512
 #define MAX_TASKS		(MAX_CORES*2+2)
 #define MAX_ISLE		8
 #define MAX_FNAME		128
diff --git a/hermit/usr/binutils b/hermit/usr/binutils
index 6bed2ef66..02dec1c10 160000
--- a/hermit/usr/binutils
+++ b/hermit/usr/binutils
@@ -1 +1 @@
-Subproject commit 6bed2ef66e9b197b01891b6d58b335897519a932
+Subproject commit 02dec1c10329a30b13ece4c21af578ce797bda7a