Clicking on "Playlists" https://www.youtube.com/channel/UCIqVY1XFPOPIZ1z2A9TrmMA/playlists I only see the first playlist.
On Wed, Dec 30, 2020 at 2:25 PM Announcements about seL4 -- low volume list announce@sel4.systems wrote:
Dear seL4 community,
As some of you have already noticed, we now have a YouTube channel run by the seL4 Foundation: https://www.youtube.com/channel/UCIqVY1XFPOPIZ1z2A9TrmMA/about. It presently has two playlists, one with the recordings of the seL4 material from this year’s UNSW Advanced Operating Systems course, and one with seL4 Summit talks from Trustworthy Systems.
More to come, enjoy Gernot _______________________________________________ Announce mailing list -- announce@sel4.systems To unsubscribe send an email to announce-leave@sel4.systems