OS Development Frameworks

Frameworks for building custom operating systems by providing modular, secure, and flexible building blocks that enable experimental and production-grade OS development.

11 projects

6,051 contributors

$1.1B

Most contributors

CheriBSD

CheriBSD is a modified version of FreeBSD that adds support for CHERI (Capability Hardware Enhanced RISC Instructions) memory protection and software compartmentalization features. It provides a complete operating system environment with CHERI capability support integrated throughout the kernel and userspace

Contributors

3,293

Organizations

349

Software value

$1.1B

EDK II

EDK II is an open-source implementation of the UEFI specification, providing a modern, feature-rich firmware development environment for the UEFI and PI specifications. It serves as a cross-platform firmware development environment for UEFI and Platform Initialization (PI) compliant firmware.

Contributors

1,256

Organizations

203

Software value

$66M

Project Mu Tiano Plus

Project Mu Tiano Plus is a UEFI firmware development project by Microsoft that extends the TianoCore EDK II codebase with additional features, security enhancements, and optimizations for modern platforms. It is part of Project Mu, which aims to enable scalable UEFI development across multiple products.

Contributors

1,241

Organizations

Software value

$3M

Genode Operating System Framework

Genode is a microkernel-based operating system framework that enables the creation of specialized operating systems with strong security and real-time capabilities. It uses a component-based architecture where system functions are split into isolated components that communicate via well-defined interfaces, enhancing security and reliability.

Contributors

261

Organizations

Software value

$18M