Obtaining the source code

The centerpiece of Genode is the source code found within the official Git repository:

To obtain the source code, clone the Git repository:

 git clone https://codeberg.org/genodelabs/genode.git

After cloning, you can find the source code within the genode/ directory. In the following, we refer to this directory as <genode-dir>.

By default, Git checks out the most recent commit of the project's main branch. Let's better switch to the version used in this manual:

 cd <genode-dir>
 git checkout -b 26.05 26.05