On 11/18/20 10:45 PM, Gernot Heiser wrote: > 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
I am very pleased to see that seL4 Core has both dynamic systems and non-C programming languages as fully supported uses. This will be a major boost to those wishing to build such systems on top of seL4. Is sel4corelib is intended to have a stable API and ABI, or at least a versioned one? Sincerely, Demi
OpenPGP_0xB288B55FFF9C22C1.asc
Description: application/pgp-keys
OpenPGP_signature
Description: OpenPGP digital signature
_______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
