diff --git a/hermit/include/hermit/config.h b/hermit/include/hermit/config.h index 38bd9079b..e4b625cc0 100644 --- a/hermit/include/hermit/config.h +++ b/hermit/include/hermit/config.h @@ -32,7 +32,7 @@ extern "C" { #endif -#define MAX_CORES 40 +#define MAX_CORES 128 #define MAX_TASKS 16 #define MAX_ISLE 8 #define MAX_FNAME 128 diff --git a/hermit/usr/binutils b/hermit/usr/binutils index 8931334f7..2a3a8f69d 160000 --- a/hermit/usr/binutils +++ b/hermit/usr/binutils @@ -1 +1 @@ -Subproject commit 8931334f7f4e24b40c0973753e410421f0733a80 +Subproject commit 2a3a8f69d5aadde3fb41d4084cd95f01a3e7fa03