<html>
  <head>
    <meta content="text/html; charset=ISO-8859-1"
      http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    On 29/11/2013 15:26, Sylvestre Ledru wrote:<br>
    <span style="white-space: pre;">></span><br>
    <blockquote type="cite"><br>
      Yep, I am aware of that ... (upstream is a friend).<br>
      He is currently refactoring some large part of vmkit to tackle
      this issue.<br>
    </blockquote>
    <br>
    Upstream has started a refactoring in order to fix that issue.<br>
    <br>
    Wait and see,<br>
    Sylvestre<br>
    <br>
  </body>
</html>