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