We believe that Open Source Software (OSS) is a key driver to accelerate innovation and adoption, avoid vendor lock-in, and enable an engaged community to contribute in a structured manner. We also believe in an ecosystem of value-added partners to build solutions on top of an OSS project. Security by obscurity is a failed concept of the past, and modern infrastructures for virtualization and communication are building on open source. 

In order to fulfill its mission for an “Unbreakable Foundation for Formally Secured Computing,” BedRock is hosting and supporting community projects for key open source building blocks. The NOVA open source project is the fundamental building block for a formally secure BedRock Hypervisor. NOVA is the first project we are sponsoring and helping to facilitate, and other OSS initiatives will follow.