Add client-side web-based VM as a demo
One neat thing to do would be setting up some web-based client-side x86 VM on robigalia.org with a demo of robigalia. It could also have other sel4-based applications. In the future, when the RISC-V port is mainlined and there's Rust support for it, we could use angel or jor1k as well.
I know it's possible to compile qemu with emscripten, which might be hard (I'm not sure), but there's also http://copy.sh/v86/ which may be easier to get started with if it has enough emulated hardware for sel4 to initialize (I suspect it does).
This is an independent nice-to-have project, if anyone wants to do it.