In this talk at the FOSDEM conference, Udo discusses the updates and advancements in the NOVA microhypervisor ecosystem over the past three years. He starts with an overview of the architecture and building blocks of NOVA, including the microkernel and protection domains. The talk then delves into various recent innovations in NOVA, such as the unification of the code base between ARM and x86, advanced security features like control flow enforcement and code patching, power management support, and performance improvements. Udo also explains the formal verification process, flexible load addresses, page tables structure and management, cache allocation technology, and control flow protection. Overall, the talk highlights the small, secure, and performant nature of NOVA, and demonstrates how it improves security and performance in virtualized environments.