From d303a25489b61298910974b8163d08e16d66ec52 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Tue, 24 Feb 2015 13:26:40 +0100
Subject: [PATCH] foc: increase maximal supported threads

Fixes #1418
---
 repos/base-foc/src/core/include/platform_pd.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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),
 			};