Genode OS: a breath of fresh air in operating system and software security

published Aug 01, 2015, last modified Dec 28, 2021

Separation kernels, hardware-isolated virtualization and enforced capability models have finally converged into an OS that could change the way that operating system security, and software security itself, works. Oh, it can also run Linux and Windows applications. Here are a few talks about that convergence in the form of Genode OS.