Signatur HSR
Hi Bob
Thanks for your answer and your recommendation! I took a closer look at
the board but it doesn't seem to support the GICv2 specification by ARM.
Therefore, I think I will give the Odroid C2 a try - it seems that this
board is (compared to other similar boards) quite reasonably documented
and Hardkernel also provides a few tutorials and code examples.
Thanks again for your help!!
Regards, David
David Loosli
Informatik BSc
/HSR Rapperswil/
Am 21.03.18 um 16:57 schrieb Bob Stewart:
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
------------------------------------------------------------------------------
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