19 Nov
2020
19 Nov
'20
2:45 p.m.
Dear seL4 Community, There is a second RFC just released, for the seL4 Core, a policy-free runtime and build environment for “plain” seL4, see https://sel4.atlassian.net/browse/RFC-6 Again, we are looking for feedback. Gernot
1949
Age (days ago)
1952
Last active (days ago)
2 comments
3 participants
participants (3)
-
Demi M. Obenour -
Gernot Heiser -
Heiser, Gernot (Data61, Kensington NSW)