C Library with L4 - Diet Libc library?

Hi!

I have googled around and saw someone mentioning that the 
diet libc library could be used with L4 Pistachio.

I was wondering if someone knows how to successfully compile
an L4 application using the diet libc library. 
(or another similar C library).

The reason is I need to use malloc and other functions in my application.

Best regards,
håvard ostnes