inport-export flow is deprecated.
1 create ISE project
2 add new source, select 'embedded processor'
3 change the EDK design
4 write your C application
5 close XPS
6 double click "Update bitstream with processor data'
---------------
7 get some double-espresso
8 copy .BIT file to mini-SD card
9 insert the card into card slot of hydraXC
10 apply 3.3V power
formatting link
steps 7-10 are optional :)
this flow just works, just do it as described in Xilinx documentation, no tricks no magic no special things.
I just verified this for both MicroBlaze and PowerPC systems, in both cases the project .bit files worked on first attempt nothing to change or fix.
Antti
full projectst for ISE as toplevel and MB or PPC as submodule will be uploaded to hydraxc suppport site shortly, there isnt any magic with them, but just to make the startup easier such example design may be useful - there are many ways to get it wrong