mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
This patch updates the signal API to avoid raw pointers, and replaces the Context_already_in_use and Context_not_associated exceptions by diagnostic messages. Fixes #5247