[U-Boot] Microblaze: how to generate correct xparameters.h file

[llandre]

Hi all,
a colleague is facing the following problem.
When using ISE/EDK 12.4 to build a microblaze-based system, the 
xparameters.h file that is generated do not match u-boot sources so I 
can't build U-Boot. In fact #defines included in this file are prefixed 
by XPAR_ while U-Boot sources expect them to be prefixed by XILINX_. So 
how to generate correct xparameter.h file? I suspect we have some 
misconfigured flag in ISE/EDK environment ...
Any help would be appreciated.

Thanks in advance,
llandre

-- 
DAVE - Simply Embedded
web: www.dave.eu