If the FPGA is flashed successfully a blue LED should light up. this is inside the crate not on the front panel. The led is located above the fpga.
$ xmd
Xilinx Microprocessor Debugger (XMD) Engine Xilinx EDK 14.5 Build EDK_P.58f Copyright (c) 1995-2012 Xilinx, Inc. All rights reserved.
XMD%
JTAG chain configuration
--------------------------------------------------
Device ID Code IR Length Part Name
1 232d8093 14 XC5VFX100T
ERROR: PowerPC405 Version UNKNOWN. The PowerPC405 Config String is NOT Valid
: 0xffffffff
XMD% fpga -f system.bit
Programming Bitstream -- system.bit
Fpga Programming Progress ......10....20....30....40....50....60....70....80....90.....Done
Successfully downloaded bit file.
JTAG chain configuration
--------------------------------------------------
Device ID Code IR Length Part Name
1 232d8093 14 XC5VFX100T
0
XMD% connect ppc hw
JTAG chain configuration
--------------------------------------------------
Device ID Code IR Length Part Name
1 232d8093 14 XC5VFX100T
PowerPC440 Processor Configuration
-------------------------------------
Version.............................0x7ff21912
User ID.............................0x00f00002
No of PC Breakpoints................4
No of Addr/Data Watchpoints.........2
User Defined Address Map to access Special PowerPC Features using XMD:
I-Cache (Data)........0x70000000 - 0x70007fff
I-Cache (TAG).........0x70008000 - 0x7000ffff
D-Cache (Data)........0x78000000 - 0x78007fff
D-Cache (TAG).........0x78008000 - 0x7800ffff
DCR...................0x78020000 - 0x78020fff
TLB...................0x70020000 - 0x70023fff
Connected to "ppc" target. id = 32
Starting GDB server for "ppc" target (id = 32) at TCP port no 1234 XMD%