Obtaining the source code

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

Source code at GitHub

https://github.com/genodelabs/genode

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