Re: [seL4] Workshop debrief?

On Tue, Jan 10, 2017 at 5:26 PM, wrote:

My apologies for the delay. Lots of work and the holiday season meant that doing this got pushed down on the todo stack.

That time of year… :-) Thank you!