Re: [seL4] Does anyone use recycle?

On Thu, Oct 27, 2016 at 11:31 AM, wrote:

Yes, there are three main maintenance burdens:

Thanks -- super interesting background, and a mic drop. :-)