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