Genode OS is a tool kit for building highly secure special-purpose OS
Summary
Genode OS Framework is a toolkit for building highly secure special-purpose operating systems. It emphasizes sandboxing and a hierarchical policy model to drastically reduce attack surfaces. The article highlights cross-architecture support (x86, ARM, RISC-V), multiple kernels, virtualization options, and open-source with commercial backing.