ARMv8 Development Board

Bob Stewart robjsstewart at ...9...
Wed Mar 21 16:57:23 CET 2018

Have a look at the Qualcomm Dragonboard 410C it's got a quad-core Cortex-A53 on it. And the site references other boards.

Qualcomm technical reference material is aweful so expect to do a lot of digging if you plan on porting Genode.

Bob Stewart

Get Outlook for Android<>

From: David Loosli <dloosli at ...563...>
Sent: Wednesday, March 21, 2018 9:40:21 AM
To: genode-main at
Subject: ARMv8 Development Board

Hi all,

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

I would appreciate your opinion and recommendations.

Thanks and regards, David

David Loosli

Informatik BSc

HSR Rapperswil

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list