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
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
On 20 Nov 2020, at 03:29, Demi M. Obenour demiobenour@gmail.com wrote:
Is sel4corelib is intended to have a stable API and ABI, or at least a versioned one?
definitely, that’s the point