Re: [seL4] Workshop debrief?

Hi, I’ve put up slides from the seL4 workshop on http://sel4.systems/Community/Devdays/Workshop2016 Still no details about the gaps discussion though. My apologies for the delay. Lots of work and the holiday season meant that doing this got pushed down on the todo stack. Ihor.

On 19 Dec 2016, at 11:59 am, Jeff Waugh wrote:

Hey there,

I might be hoping a little too much for video, but will there be slides and notes from the Workshop? (Particularly interested in the gaps discussion.) Would be handy content on the wiki. :-)

Thanks, Jeff _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel