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

..

core

base/child.h: remove Nonexistent_id_space exception

2024-06-20 12:54:30 +02:00

include

base: Alarm_registry data structure

2024-04-12 12:57:28 +02:00

ld

Finally move __dso_handle into genode.ld

2023-07-14 12:06:32 +02:00

lib

base/child.h: remove Nonexistent_id_space exception

2024-06-20 12:54:30 +02:00

test

base/child.h: remove Nonexistent_id_space exception

2024-06-20 12:54:30 +02:00

timer

Remove '_drv' suffix

2024-06-20 12:54:30 +02:00