19 Nov
2020
19 Nov
'20
2:44 p.m.
Dear seL4 Community, Those who attended today’s closing session at the seL4 Summit have heard about this, for the rest I’m pleased to announce that we have an RFC out for the seL4 Core Platform, a minimal seL4-based OS for embedded/cyberphysical/IoT applications, see https://sel4.atlassian.net/browse/RFC-5 Feedback welcome. Gernot
1948
Age (days ago)
1952
Last active (days ago)
16 comments
6 participants
participants (6)
-
Andrew Warkentin -
Demi M. Obenour -
Gernot Heiser -
Heiser, Gernot (Data61, Kensington NSW) -
Matthew Fernandez -
Zach Lym