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://github.com/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>.

Git checks out the most recent Genode master branch commit, so, let's now switch to the version used in this manual:

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