genodelabs/genode — Issue #32: Fiasco.OC: free capability selectors (was mantis id 145)
Author: nfeske
Created: 2011-12-20 09:23:00+00:00
State: open

By now, capability selectors are only allocated, but never freed. Introduce smart-pointer to keep used selectors and remove not used selectors.