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