5 Dec
2020
5 Dec
'20
10:47 a.m.
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