Announce

Download

announce@sel4.systems

December 2020

1 participants
2 discussions

seL4 YouTube Channel
by Announcements about seL4 -- low volume list 30 Dec '20

30 Dec '20

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

1 0

Talk at RISC-V Summit
by Announcements about seL4 -- low volume list 04 Dec '20

04 Dec '20

Dear seL4 community, I’d like to let you know that I’ll be talking at the RISC-V Summit next week: https://l.feathr.co/landing-page--risc-v-2020---speakers-gernot-heiser Gernot

1 0