[U-Boot] uBoot services

Hi all

I am using a Xilinx Zynq device (dual core ARM) which has uBoot in its internal boot flash.

I am sure I have read somewhere that uBoot has a number of services available to "bare metal" applications, such as malloc et Al. Is this so? If so, where may I find this documentation, as I have been unable to find it?

Thanks in advance ;-)

Cheers

Gary