<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=utf-8">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <br>
    <div class="moz-signature">
      <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
      <meta http-equiv="Content-Style-Type" content="text/css">
      <title>Signatur HSR</title>
      <style type="text/css">
    html, body {
        font-family: Helvetica, Verdana, Arial, sans-serif;
        line-height: 120%;
    }

    p.text {
        font-size: 14.0px;
        margin: 0.0px 0.0px 0.0px 0.0px;
    }

    p.abs {
        font-weight: bold;
        font-size: 16.0px;
        color: #00CCFF;
        margin: 0.0px 0.0px 0.0px 0.0px;
    }

    p.sign {
        font-size: 12.0px;
        margin: 0.0px 0.0px 0.0px 0.0px;
    }
</style>
      <!--Start Head Start-->
      <div>
        <p class="text">Hi all,<br>
        </p>
        <p class="text"><br>
        </p>
        <p class="text"><br>
        </p>
      </div>
      <!--Ende Head Ende-->
      <!--Start Inhalt Start-->
      <div>
        <p class="text">I am currently trying to find an ARMv8
          development board to port the Muen separation kernel to the
          ARM architecture as my bachelor thesis. In the mailing list
          archive I found a post about porting Genode to ARMv8 64-bit
          processors. Is there still someone working on this topic? And
          if yes, which development boards are used? I am actually
          looking for a board with 64-bit ARM processor, virtualization
          support, generic interrupt controller GICv2, SMMU and JTAG
          interface. So far my favourite is the Hardkernel Odroid C2
          board (even though it doesn't completely meet the
          requirements).</p>
        <p class="text"><br>
        </p>
        <p class="text">I would appreciate your opinion and
          recommendations.<br>
        </p>
        <p class="text"><br>
        </p>
        <p class="text"><br>
        </p>
        <p class="text">Thanks and regards, David<br>
        </p>
        <p class="text"><br>
        </p>
        <p class="text"><br>
        </p>
      </div>
      <!--Ende Inhalt Ende-->
      <!--Start Foot Start-->
      <div>
        <p class="abs">David Loosli</p>
        <p class="sign">Informatik BSc</p>
        <p class="sign"><i>HSR Rapperswil</i></p>
        <p class="sign"><br>
        </p>
        <p class="sign"><br>
        </p>
      </div>
      <!--Ende Foot Ende--> </div>
  </body>
</html>