List overview
Download

Announce December 2020

announce@sel4.systems

1 participants
2 discussions

Start a nNew thread

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

31 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 05 Dec '20

05 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