new RFC: seL4 Device Driver Framework
7 Oct
2022
7 Oct
'22
1:57 a.m.
A new RFC has just landed: https://sel4.atlassian.net/browse/RFC-12 If you have any feedback, please comment there. Cheers, Gerwin
1254
Age (days ago)
1266
Last active (days ago)
16 comments
8 participants
participants (8)
-
Demi Marie Obenour -
Gernot Heiser -
Gerwin Klein -
Harry Butterworth -
Lucy Parker -
Peter Chubb -
Stewart Webb -
William ML Leslie