xil_malloc vs malloc

Hello,

i'm writing some software for the ppc405 on a virtex2pro using a standalone-environment (EDK6.2). At some point i need to do some memory alloctions. I read about xil_malloc in the xilinx-docs. But all i can find when enabling the "needs xil_malloc" checkbox is a xil_malloc.h (redirecting malloc-calls to xil_malloc). But i can find no implementation for xil_malloc, xil_free.. . When using xil_malloc the linker complains about udefined references to xil_malloc.

Using malloc works but takes a lot of space.

So if someone used xil_malloc successfully and could give me a hint where to find it?