Why not WASI https://wasi.dev?
It's a non-POSIX compatible, capability oriented system runtime that leans
on WASM as an IR to communicate high-level data types across isolated
execution environments (browser, TEE, lambda functions, etc.). WASM has a
formal model and they would ideally like to formalize WASI to ensure
deterministic/reproducible behavior where appropriate.
It may not have all the primitives you need yet, but they are still in the
prototyping phase and nothing is set in stone.
Thank you,
-Zach Lym
On Wed, Nov 18, 2020 at 7:47 PM Gernot Heiser
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 -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems