diff --git a/repos/base-nova/src/core/include/rpc_cap_factory.h b/repos/base-nova/src/core/include/rpc_cap_factory.h index 4a8b56f76..fc906c893 100644 --- a/repos/base-nova/src/core/include/rpc_cap_factory.h +++ b/repos/base-nova/src/core/include/rpc_cap_factory.h @@ -35,7 +35,10 @@ class Genode::Rpc_cap_factory Cap_object(addr_t cap_sel) : _cap_sel(cap_sel) {} }; - Tslab _slab; + enum { SBS = 960*sizeof(long) }; + uint8_t _initial_sb[SBS]; + + Tslab _slab; List _list; Lock _lock; diff --git a/repos/base-nova/src/core/rpc_cap_factory.cc b/repos/base-nova/src/core/rpc_cap_factory.cc index 695d6f1fb..04574a46a 100644 --- a/repos/base-nova/src/core/rpc_cap_factory.cc +++ b/repos/base-nova/src/core/rpc_cap_factory.cc @@ -80,7 +80,8 @@ void Rpc_cap_factory::free(Native_capability cap) } -Rpc_cap_factory::Rpc_cap_factory(Allocator &md_alloc) : _slab(&md_alloc) { } +Rpc_cap_factory::Rpc_cap_factory(Allocator &md_alloc) +: _slab(md_alloc, _initial_sb) { } Rpc_cap_factory::~Rpc_cap_factory()