munal-os

Wow, this thing even has its own web browser! https://github.com/Askannz/munal-os/tree/master/wasm_apps/we... You can see a snippet of it running (and rendering Hacker News) in the demo video.

> Every iteration of the loop polls the network and input drivers, draws the desktop interface, runs one step of each active WASM application, and flushes the GPU framebuffer. This is really interesting and I was wondering how you implemented that using Wasmi. Seems like the code for that is here: https://github.com/Askannz/munal-os/blob/2d3d361f67888cb2fe8... It might interest you that newer versions of Wasmi (v0.45+) extended the resumable function call feature to make it possible to yield upon running out of fuel: https://docs.rs/wasmi/latest/wasmi/struct.TypedFunc.html#met... Seeing that you are already using Wasmi's fuel metering this might be a more efficient or failure proof approach to execute Wasm apps in steps. An example for how to do this can be found in Wasmi's own Wast runner: https://github.com/wasmi-labs/wasmi/blob/0198065

Hello HN! Showing off the first version of Munal OS, an experimental operating system I have been writing in Rust on and off for the past few years. https://github.com/Askannz/munal-os It's an unikernel design that is compiled as a single EFI binary and does not use virtual address spaces for process isolation. Instead, applications are compiled to WASM and run inside of an embedded WASM engine. Other features: * Fully graphical interface in HD resolution with mouse and keyboard support * Desktop shell with window manager and contextual radial menus * PCI and VirtIO drivers * Ethernet and TCP stack * Customizable UI toolkit providing various widgets, responsive layouts and flexible text rendering * Embedded selection of applications including: * A web browser supporting DNS, HTTPS and very basic HTML * A text editor * A Python ter