<html>
  <head>
    <meta content="text/html; charset=windows-1252"
      http-equiv="Content-Type">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    Hi <span style="font-family:georgia,serif">Abderrahman<br>
      <br>
      Indeed, I think it is a bit outdated. If you do not want to wait
      until someone updates the page, you should mention on what step
      you are actually stuck, so we can help with your specific issue.<br>
      <br>
      Best,<br>
      Lukas<br>
    </span><br>
    <div class="moz-cite-prefix">On 31.03.2016 22:33, Abderrahman
      Said-Alaoui wrote:<br>
    </div>
    <blockquote
cite="mid:CAC0dGt-_JqhzcHKMqrAPK6==j4+SwSRegw1xqgPLvcwAjuaw+g@mail.gmail.com"
      type="cite">
      <meta http-equiv="Content-Type" content="text/html;
        charset=windows-1252">
      <div dir="ltr">
        <div class="gmail_default"
          style="font-family:verdana,sans-serif">Hello,</div>
        <div class="gmail_default"
          style="font-family:verdana,sans-serif"><br>
        </div>
        <div class="gmail_default"
          style="font-family:verdana,sans-serif">I am currently trying
          to write some test cases to run in barrelfish, however I was
          not successful in doing so while following the example in the
          wiki (<a moz-do-not-send="true"
            href="http://wiki.barrelfish.org/Programming_for_Barrelfish">http://wiki.barrelfish.org/Programming_for_Barrelfish</a>),
          I am suspecting that the later might be out of date.</div>
        <div class="gmail_default"
          style="font-family:verdana,sans-serif"><br>
        </div>
        <div class="gmail_default"
          style="font-family:verdana,sans-serif">Any type of
          help/guidance is much appreciated.</div>
        <div class="gmail_default"
          style="font-family:verdana,sans-serif">Thank you!  </div>
        <div><br>
        </div>
        -- <br>
        <div class="gmail_signature">
          <div dir="ltr"><span style="font-family:georgia,serif">Abderrahman
              Said-Alaoui</span><br>
          </div>
        </div>
      </div>
      <br>
      <fieldset class="mimeAttachmentHeader"></fieldset>
      <br>
      <pre wrap="">_______________________________________________
Barrelfish-users mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Barrelfish-users@lists.inf.ethz.ch">Barrelfish-users@lists.inf.ethz.ch</a>
<a class="moz-txt-link-freetext" href="https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users">https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users</a>
</pre>
    </blockquote>
    <br>
  </body>
</html>