Source-code repository

The Genode source code is available via file releases and our public source-code repositories.

Follow the latest developments at GitHub

The genodelabs organization at GitHub is the central place for Genode's development.

Genode Labs organization at GitHub

The main-line source code is located within the genode repository:

Genode main-line source tree

To download the source code, use

 git clone git://

There are two branches. The master branch is the latest version that passed all automated build and runtime tests. This is the branch recommended to use. The staging branch contains new revisions that are going to be merged into master but have not passed the quality-assurance stage yet.

Furthermore, there are various forks by individual Genode developers. This is where all the fun happens.

Individual forks of the repository at GitHub