From 2e3e57f50a676f0f88c202e95f39269c1c6dedc6 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Thu, 12 Dec 2024 17:13:26 +0100
Subject: [PATCH] foc: increase max count for RPC caps in core

to boot Sculpt

Issue #5406
---
 repos/base-foc/src/core/rpc_cap_factory.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/base-foc/src/core/rpc_cap_factory.cc b/repos/base-foc/src/core/rpc_cap_factory.cc
index fa0c2ea5a0..851ef114ef 100644
--- a/repos/base-foc/src/core/rpc_cap_factory.cc
+++ b/repos/base-foc/src/core/rpc_cap_factory.cc
@@ -38,7 +38,7 @@ using namespace Core;
 
 Cap_index_allocator &Genode::cap_idx_alloc()
 {
-	static Cap_index_allocator_tpl<Core_cap_index,10*1024> alloc;
+	static Cap_index_allocator_tpl<Core_cap_index, 128 * 1024> alloc;
 	return alloc;
 }