Does MicroBlaze u-boot port actually work on any Xilinx board? Which one? From Xilinx boards I only saw ML300 on u-boot tree and that one is PPC405 based. I am bringing up uClinux on Spartan-2e based custom board (similar to ML401) need bootloader and would appreciate any information how to port u-boot there. Thanks, Leonid.