Zynq7000

This board is a Zynq-7000 ZC706 Evaluation Kit, Rev 1.2

Xilinx maintains online material, including designs and documentation.

Building

seL4test

Checkout the sel4test project using repo as per seL4Test

repo init -u https://github.com/seL4/sel4test-manifest.git
repo sync
mkdir cbuild
cd cbuild
../init-build.sh -DPLATFORM=zynq7000 -DAARCH32=1
# The default cmake wrapper sets up a default configuration for the target platform.
# To change individual settings, run `ccmake .` and change the configuration
# parameters to suit your needs.
ninja
# This platform is a simulation target. This script should work to run the
# generated image if you also use -DSIMULATION=1 for init-build above:
./simulate

If you plan to use the ./simulate script, please be sure to add the -DSIMULATION=1 argument when running cmake.

Generated binaries can be found in the images/ directory.

Development environment

Vivado SDK

Bitstream generation (ie FPGA code compiler) is not supported for ZC706 when using a free license. Other features may still work

The Vivado SDK provides many features:

• first stage boot loader and boot image generation
• FPGA logic design
• ARM software design
• Support libraries
• JTAG connectivity and debugging

Download it here (Requires a free Xilinx account).

After the download completes, extract and/or run the install program. You should run as root to install cable drivers, otherwise, they can be installed independently later.

When provided with install options, select “Vivado Design Edition” because the WebPack install does not support the ZC706 board. Ensure the Software Development Kit (SDK) is selected as an install candidate

When installation competes, the License Manager window will open. Choose “obtain license” from the tree on the left, select “Get Free Licenses” and click “Connect Now”. You will be navigated to the Xilinx login page in order to register for a license. Select the free webpack license and a license file will be mailed to you. While still in the License Manager, click “Load License” from the tree on the left and click the “Copy License” button. Select the license file that you received via email and click “Open”. Once you have configured your license, close the window and wait for the install to finish.

The last step is to install the cable drivers as follows:

uname -a | grep "x86_64" && LIN=lin64 || LIN=lin
cd /opt/Xilinx/SDK/2014.4/data/xicom/cable_drivers/$LIN/install_script/install_drivers
sudo ./install_drivers

JTAG

http://wiki.gentoo.org/wiki/Xilinx_USB_JTAG_Programmers

You will need

• xmd (shipped with vivado but can possibly be obtained as a package on its own)
• digilent USB drivers

1. create a xmd.ini script within the directory that you intend to run xmd from.

     # Connect to the board
     connect arm hw
     # program the fpga with the provided bitstream
     fpga -f system_wrapper.bit
     # The processor needs to be initialised (Clocks, MIO, etc), but these depend on the bitstream! ps7_init.tcl was generated with the bitstream. Load and execute this script to configure the processor.
     source ps7_init.tcl
     ps7_init
     ps7_post_config
     # Download your elf file (Could also be done from GDB)
     dow bootimg.elf
     # To run the elf file directly from XMD, uncomment the following lines
     # run
     # exit
   

2. Run XMD. XMD will not terminate; leave it open.
3. Next run GDB. Any arm-*-gdb should work.
4. Enter “target extended-remote localhost:1234” to connect to the GDB server that was started by XMD or the hw_server
5. “c” to start the program!