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