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