Standard placement operator

[Daniel Waddington]

Hi,
Sorry for the dumb question, but how do I use the std c++ new placement 
operator which take void *, i.e.

void * p = ::malloc(256);
T * obj = new (p) T();

When I try to use this it cannot find the operator, only the Genode 
allocator version. I have 'cxx' in my target.mk

Thanks
Daniel
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20130319/1aecd46d/attachment.html>