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.
board-file
armulator
xilinxa9