5.7. Supported Board Files

The Sourcery G++ 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 Cortex-A9xilinxa9