Re: [seL4] Does anyone use recycle?

On 10/25/2016 11:54 PM, Adrian.Danis@data61.csiro.au wrote:

Whilst we do not use recycle we would like to first find out if anybody in the community is using recycle, or has a strong argument for why they would like it to stay. If this is you, please let us know, otherwise we will continue with our plans for removal.

Robigalia doesn't and won't, except for the specific "revoke badges" usecase. We definitely need that, but not anything else.