The problem with the Signal service implementation.

[Norman Feske]

Hi Ivan,

I just want to give notice that we implemented an interim fix for the
problem you reported. It the fix is included in the Genode 12.02
release. The relevant commit is:


https://github.com/genodelabs/genode/commit/41eaff2cc656942e1b6a1665ade99f09342627f9

The problem is also covered in the release notes:

  http://genode.org/documentation/release-notes/12.02#Fiasco.OC_microkernel

Please note that this is not the actual solution for the underlying
problem of proper lifetime management of capability selectors. Stefan is
working on that. In the meantime, we hope that the current fix of the
annoying capability-selector leak accommodates you well.

Best regards
Norman

-- 
Dr.-Ing. Norman Feske
Genode Labs

http://www.genode-labs.com · http://genode.org

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth