Changes

'''A''': All BELK source trees (FPGA project, U-Boot and Linux kernel) are provided as git repositories. This means that these components can be kept in sync and up to date with DAVE's repositories.

Once the a git account is enabled, the developer can clone the repository and synchronize a source tree using git commands. For further details, please refer to section 3.3.3.5 of the '''BELK Quick Start Guide'''.

=== Q: Where can I found the BELK Quick Start Guide document? ===

=== Q: Am I supposed to download any tools from the Xilinx web site? ===

'''A''': Since we are not allowed to redistribute it, the Zynq 7000 development tools must be downloaded from the Xilinx website (http://www.xilinx.com/support/download/index.htm), in the WebPACK™ Edition, which is a free version that provides instant access to the fundamental Vivado features and functionality at no cost. Please note that both Vivado 2013.3 and the Xilinx SDK must be downloaded and installed. Please also note that sometimes the download of the '''Vivado 2013.3 full-package''' fails because of some download system malfunctioning, but unfortunately the problem is barely noticeable, except by performing the MD5 check of the downloaded file. In case of problems, we suggest using the Multi-File Download (available on the same web page), that splits the full package in a collection of smaller files.