Stefan Kalkowski 76aba79e0b base: add missing wakeup signal in child framework ...

In Child::deliver_session_cap a signal to wakeup a service after
altering its session ROM was missing when the requesting client
that does not longer exist.

Fix genodelabs/genode#5435

2025-01-30 16:30:14 +01:00

..

core

sel4: add MSI support for x86

2025-01-30 16:30:14 +01:00

include

base: remove base/internal/unmanaged_singleton.h

2025-01-30 16:30:13 +01:00

ld

Finally move __dso_handle into genode.ld

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

lib

base: add missing wakeup signal in child framework

2025-01-30 16:30:14 +01:00

test

base: add util/callable.h

2025-01-30 16:30:13 +01:00

timer/pit

timer: remove old timer infrastructure

2024-07-02 11:59:16 +02:00