Have a look at the Qualcomm Dragonboard 410C it's got a quad-core Cortex-A53 on
it. And the 96Boards.com 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<https://aka.ms/ghei36>
________________________________
From: David Loosli <dloo...@hsr.ch>
Sent: Wednesday, March 21, 2018 9:40:21 AM
To: genode-main@lists.sourceforge.net
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
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main
