I'm a community organizer for WASI <https://wasi.dev/>, a post-POSIX
runtime with features that I think make it suitable for SeL4's planned
* Fast and fine grained SFI via WASM.
* Fast IPC and capability oriented security via WASM Reference Types
* High level interoperability across programming languages via WASI
* Wide range of targets: embedded, TEE, blockchain, browser, server, and
(eventually) consumer operating systems.
Industry cooperation is happening through the Bytecode Alliance
<https://bytecodealliance.org/>, with partners like Red Hat ensuring
commercial viability [1
Fastly is already using it for their serverless offering
<https://www.youtube.com/watch?v=QdWaQOgvd-g>, which can scale to 20K
processes/machine with a 35.4 microsecond cold start time.
However, I believe the project would benefit *greatly* from the SeL4
community's experience architecting high-performance/high-assurance
microkernels, IPC, and capability based security models.
SOIL <https://soil-initiative.org/> is an academic effort to foster
cross-pollination through biweekly seminars
<https://soil-initiative.org/seminar/>. *We are seeking presenters from the
SeL4 to better understand your needs and potential areas of collaboration*.
Please contact Ross Tate (ross(a)cs.cornell.edu) if you are interested in
presenting and jump on our Zulip Channel
<https://bytecodealliance.zulipchat.com/> if you have any questions!
Show replies by date