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 > [email protected] > https://sel4.systems/lists/listinfo/devel > -- cmr http://octayn.net/ +16038524272
signature.asc
Description: OpenPGP digital signature
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
