ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-06-21 16:39:39 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

base/child.h: remove Nonexistent_id_space exception

Browse Source 
This exception got introduced as a mere convenience for implementers of
'Child_policy' but required a special case in the base library.
Following the goal of eliminating exceptions from the base system,
this patch removes it by making a server_id_space mandatory.

Issue #5245
This commit is contained in:
Norman Feske
2024-06-11 11:52:16 +02:00
parent 8b0a16d750
commit ef385696f6
10 changed files with 132 additions and 115 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
repos/base/src/core/main.cc
View File

@ -121,6 +121,8 @@ class Core_child : public Child_policy
Cap_quota const _cap_quota;
Ram_quota const _ram_quota;
Id_space<Parent::Server> _server_ids { };
Child _child;
public:
@ -183,6 +185,8 @@ class Core_child : public Child_policy
Pd_session_capability ref_pd_cap() const override { return _core_pd_cap; }
size_t session_alloc_batch_size() const override { return 128; }
Id_space<Parent::Server> &server_id_space() override { return _server_ids; }
};