Ml40x Reference Design not working with EDK 7.1?

for quite some time now. ISE/EDK 7.1 cannot meet the timing constraints on that design. I would really appreciate if anyone would post a solution to this problem?

On the MicroBlaze uClinux website I host a version of the ML401 reference design de-rated to 66MHz - this meets timing under ISE/EDK7.1.

Apart from modified clock generation and timing constraints, the system is trivially modified to make it uClinux capable, but fundamentally it's the same as Xilinx's original design. You'll also need to grab the uClinux BSP support files, or simply revert the "OS" section in the MSS file to standalone.

Hope this is useful,

John