<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <font face="Courier 10 Pitch">Hi,<br>
      Sorry for the dumb question, but how do I use the std c++ new
      placement operator which take void *, i.e.<br>
      <br>
      void * p = ::malloc(256);<br>
      T * obj = new (p) T();<br>
      <br>
      When I try to use this it cannot find the operator, only the
      Genode allocator version. I have 'cxx' in my target.mk<br>
      <br>
      Thanks<br>
      Daniel<br>
    </font>
  </body>
</html>