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 <[email protected]> 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 _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
