On 23 Nov 2020, at 09:38, Zach Lym mailto:zachlym@indolering.com> wrote:
Why not WASIhttps://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.
because we’re looking for a minimal, easy-to-use OS layer around seL4, rather than emulating some other OS. A lot of design efforts have for 15 years gone into seL4 abstractions and mechanisms, and we think we have got them mostly right by now. And the seL4 Core Platform is the OS designed to use them int he best possible way.
Gernot
