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 _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
