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