Hi Jeff, Here's my notes: https://robigalia.org/blog/2016/12/18/sel4-ws.html They aren't super comprehensive, and most of the gaps discussion was around a PDF that the Data61 folks had listing their gaps analysis. Hope it's useful. On 12/18/2016 07:59 PM, 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

-- cmr http://octayn.net/ +16038524272

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 <jdub@bethesignal.org> 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