|-

|U-Boot

|-

|Linux

|-

|}

*synchronize a source tree entering the repository directory and launching the <code>git fetch origin</code> command.

Please note that git fetch doesn't merge the commits on the current branch. To do that, the developer should run the <code>git merge</code> command or replace the ''fetch-merge'' process with a single <code>git pull</code> command. Please note that the recommended method is the ''fetch-merge'' process. For further information on Git, please refer to the official Git Documentation (http://git-scm.com/documentation).

===RSA key generation===

For getting access to the Git repositories, a ssh key is required. Please follow the procedure reported below to generate the RSA ssh key (<u>it is assumed that the ssh package and the required tools are installed on the Linux development server</u>):