Empowering WebAssembly with Thin Kernel Interfaces · HackerPapers discussions

Empowering WebAssembly with Thin Kernel Interfaces — mentioned by titzer

Wed, 12 Feb 2025 13:03:23 GMT

> the downside is that it means you have to re-invent the world to work with this flavor of runtime. This is at least one of the reasons we've been building thin kernel interfaces for Wasm. We've built two now, one for the Linux syscall interface (https://github.com/arjunr2/WALI) and one for Zephyr. A preliminary paper we wrote a year or so back is here (https://arxiv.org/abs/2312.03858), and we have a new one coming up in Eurosys 25. One of the advantages of a thin kernel interface to something like Linux is really low overhead and low implementation burden for Wasm engines. This makes it…

Paper and discussion history. A mention is not an endorsement.

Empowering WebAssembly with Thin Kernel Interfaces — mentioned by tombl

Mon, 01 Jan 2024 10:42:05 GMT

Rather than the "easy" way of porting an x86 emulator to WASM, I've been trying to natively port the Linux kernel to WASM. UML[0] and LKL[1] prove that running the kernel in a process is viable. μClinux efforts like NOMMU and binfmt_flat prove that you don't need memory-management nor ELF to run the kernel. Both my own independent experiments and WALI[2] have shown it's possible to port the Linux syscall interface and userland ecosystem to WASM. I'm confident it's doable, but there are a number of other challenges to solve along the way (like dynamic linking, the Harvard architecture, etc).…

Paper and discussion history. A mention is not an endorsement.

Empowering WebAssembly with Thin Kernel Interfaces — HN submission

Wed, 13 Dec 2023 21:19:07 GMT

Stop Hiding the Sharp Knives: The WebAssembly Linux Interface

98 points; 57 discussion replies on HN. Paper and source history. A submission is not an endorsement.

Empowering WebAssembly with Thin Kernel Interfaces — HN submission

Fri, 08 Dec 2023 09:13:07 GMT

Stop Hiding the Sharp Knives

5 points; 1 discussion reply on HN. Paper and source history. A submission is not an endorsement.