5.7. Supported Board Files

The Sourcery CodeBench Debug Sprite for ARM GNU/Linux includes support for the following target boards. Specify the appropriate board-file as an argument when invoking the Sprite from the command line.

BoardConfig
ARMulator (RDI)armulator
Xilinx Zynq-7000zynq7000