Let me put my two rusty cents in...
On Tuesday, August 25, 2015 at 6:21:57 PM UTC+2, J. Kiszka wrote:
> Hi Antonios,
>
> do you happen to have checked this boards already, if it could become
> something like a reference board for Jailhouse on ARM64?
>
> https://www.96boards.org/products/ce/hikey/
>
> It comes with proper GIC (in contrast to the Qualcomm Dragon) and seems
> to have an SMMU as well. It's "just" not yet available on the market...
That's the problem, you can't buy it. So currently we use ARM DS-5 as the developing platform.
The board is a really good candidate. Until we get something not utterly expensive with PCI, this board could be the right choice. Especially it's Hisilicon ;)
> Jan
>
> --
> Siemens AG, Corporate Technology, CT RTC ITP SES-DE
> Corporate Competence Center Embedded Linux
WBR,
Dmitry Voytik