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:
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
On Fri, Dec 23, 2016 at 3:52 PM, Corey Richardson corey@octayn.net wrote:
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.
Thanks, will read!
Now that PDF would be interesting, Data 61 folks. ;-)
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
On Tue, Jan 10, 2017 at 5:26 PM, Ihor.Kuz@data61.csiro.au wrote:
My apologies for the delay. Lots of work and the holiday season meant that doing this got pushed down on the todo stack.
That time of year… :-) Thank you!