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>.