
<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>