Awesome, thank you! On Tue, Jun 2, 2020 at 10:51 AM Heiser, Gernot (Data61, Kensington NSW) < [email protected]> wrote:
> I’m pleased to announce yet another contribution of UNSW Sydney to the > seL4 community: This year I’m making the seL4-related videos from my UNSW > Advanced Operating Systems class freely available. You’ll find them at the > UNSW CSeLearning COMP9242 YouTube channel: > https://www.youtube.com/playlist?list=PLbSaCpDlfd6qLbEsKquVo3--0gwYBmrUV > _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
