foc: increase maximal supported threads

Fixes #1418
2015-02-24 13:26:40 +01:00 · 2015-02-24 13:26:40 +01:00 · d303a25489
parent 75ab803ea2
commit d303a25489
1 changed files with 1 additions and 1 deletions
--- 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),
 			};