Files
genode/repos/base/include/base
Norman Feske ef385696f6 base/child.h: remove Nonexistent_id_space exception
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
2024-06-20 12:54:30 +02:00
..
2021-12-17 15:04:44 +01:00
2023-02-27 08:22:49 +01:00
2023-02-27 08:22:49 +01:00
2020-07-30 08:49:23 +02:00
2020-04-17 12:40:12 +02:00
2020-04-17 12:40:12 +02:00
2019-02-26 14:44:15 +01:00