diff --git a/repos/base-foc/src/core/include/platform_pd.h b/repos/base-foc/src/core/include/platform_pd.h
index 7426c7751..b9a05da89 100644
--- a/repos/base-foc/src/core/include/platform_pd.h
+++ b/repos/base-foc/src/core/include/platform_pd.h
@@ -42,7 +42,7 @@ namespace Genode {
 		private:
 
 			enum {
-				THREAD_MAX      = (1 << 6),
+				THREAD_MAX      = (1 << 7),
 				UTCB_AREA_SIZE  = (THREAD_MAX * Fiasco::L4_UTCB_OFFSET),
 			};