
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

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:
-- 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.
participants (3)
-
Corey Richardson
-
Ihor.Kuz@data61.csiro.au
-
Jeff Waugh