mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
Create the signal context object before the signal receiver object to get the signal receiver destroyed before the signal context. This avoids a 'specified signal-context capability has wrong type' warning when the signal receiver tries to free its managed context on destruction. Part of #448.