*** Genode migrated to https://github.com/genodelabs/genode ***

The Genode OS Framework is a tool kit for building highly secure special-purpose operating systems. It scales from embedded systems with as little as 4 MB of memory to highly dynamic general-purpose workloads.

Genode is based on a recursive system structure. Each program runs in a dedicated sandbox and gets granted only those access rights and resources that are needed for its specific purpose. Programs can create and manage sub-sandboxes out of their own resources, thereby forming hierarchies where policies can be applied at each level. The framework provides mechanisms to let programs communicate with each other and trade their resources, but only in strictly-defined manners. Thanks to this rigid regime, the attack surface of security-critical functions can be reduced by orders of magnitude compared to contemporary operating systems.

Project Samples

Project Activity

See All Activity >

License

Affero GNU Public License

Follow Genode OS Framework

Genode OS Framework Web Site

Other Useful Business Software
MongoDB Atlas runs apps anywhere Icon
MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
Start Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Genode OS Framework!

Additional Project Details

Operating Systems

Server Operating Systems

Languages

English

Intended Audience

Developers, Government, Information Technology, Other Audience, Science/Research, Telecommunications Industry

Programming Language

C, C++, Python

Related Categories

Python Security Software, Python Operating System Kernels, Python Virtualization Software, C++ Security Software, C++ Operating System Kernels, C++ Virtualization Software, C Security Software, C Operating System Kernels, C Virtualization Software

Registered

2008-05-19