Zynq7000
This board is a Zynq-7000 ZC706 Evaluation Kit, Rev 1.2
Platform | Zynq-7000 ZC706 Evaluation Kit |
Simulation platform | yes |
Architecture | ARMv7A |
System-on-chip | Zynq7000 |
CPU | Cortex-A9 |
seL4 virtualisation support | – |
seL4 SMMU support | – |
Verification status | Verified |
seL4 CMake platform name | zynq7000 |
Contributed by | Data61 |
Maintained by | seL4 Foundation |
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
-
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
- Run XMD. XMD will not terminate; leave it open.
- Next run GDB. Any arm-*-gdb should work.
- Enter “target extended-remote localhost:1234” to connect to the GDB server that was started by XMD or the hw_server
- “c” to start the program!