From 91a58d3e98930814bd95d1b614756e84f99aca16 Mon Sep 17 00:00:00 2001 From: Alexander Boettcher 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 alloc; + static Cap_index_allocator_tpl alloc; return alloc; }