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 <gernot@unsw.edu.au> wrote:
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