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
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
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
-- Cheers, --MarkM
On 31 Dec 2020, at 09:38, Mark S. Miller
Clicking on "Playlists" https://www.youtube.com/channel/UCIqVY1XFPOPIZ1z2A9TrmMA/playlists I only see the first playlist.
Apologies, I had forgotten to make the second one public. Should be visible now. Gernot
participants (2)
-
Gernot Heiser -
Mark S. Miller