Shen,
In the download.tcl script, you need to call the ps7_post_config process too. It should be look like this:
...
fpga -debugdevice devicenr 2 -f $bitFilePath
connect arm hw
source $tclFilePath
ps7_init
ps7_post_config
dow $elfFilePath
run
disconnect 64
exit
I will update the archive files on the wiki page.
Thanks,
Istvan
