Re: [seL4] Workshop debrief?

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