From 02e50ce5d7206eb8640c4b9f9033853a339caad0 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Tue, 12 Jul 2016 15:44:43 +0200
Subject: [PATCH] Pistachio: limit max threads per PD to 128

This change avoids cap ref-count overflows when creating many threads
as done by the thread test.
---
 repos/base-pistachio/src/core/include/platform_pd.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/base-pistachio/src/core/include/platform_pd.h b/repos/base-pistachio/src/core/include/platform_pd.h
index ab3967ffe5..0a8e5a58ff 100644
--- a/repos/base-pistachio/src/core/include/platform_pd.h
+++ b/repos/base-pistachio/src/core/include/platform_pd.h
@@ -37,7 +37,7 @@ namespace Genode {
 			 */
 			enum {
 				PD_BITS      = 9,
-				THREAD_BITS  = 9,
+				THREAD_BITS  = 7,
 				VERSION_BITS = 14 - 1, /* preserve 1 bit, see 'make_l4_id' */
 				PD_FIRST     = 0,
 				PD_MAX       = (1 << PD_BITS)      - 1,