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 ------------------------------------------------------------------------------ Virtualization & Cloud Management Using Capacity Planning Cloud computing makes use of virtualization - but cloud computing also focuses on allowing computing to be delivered as a service. http://www.accelacomm.com/jaw/sfnl/114/51521223/ _______________________________________________ Genode-main mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
