ARMv8 development board with GICv3

Emmanuel Vadot manu at
Wed Jun 13 07:30:26 UTC 2018

On 2018-06-13 09:06, Marcelo Araujo wrote:
> 2018-06-13 14:54 GMT+08:00 Alexandru Elisei 
> <alexandru.elisei at>:
>> Hello,
>> I have been working on porting bhyve to ARMv8 and the hypervisor is
>> able to successfully boot a FreeBSD virtual machine on the Foundation
>> Emulator provided by ARM.
>> I plan to submit the project for review, but before that I need to
>> validate the hypervisor on a hardware platform.
>> Can anyone be so kind as to recommend a development board for testing?
>> The board needs to have an ARMv8 CPU with virtualization extensions
>> implemented (Exception Level 2 needs to be available) and a GIC
>> version 3 compliant interrupt controller.
>> Thank you,
>> Alexandru Elisei
>> _______________________________________________
>> freebsd-virtualization at mailing list
>> To unsubscribe, send any mail to "freebsd-virtualization-
>> unsubscribe at"
> Hello Alexandru,
> Excited to see your work!
> I have Cc manu@ as I know he works a lot with embedded devices and 
> probably
> he can give you some suggestions.
> I'm sure he is on freebsd-arm@ mailing list, but even though I'm Cc'ing 
> him.
> Best,
> --

  A quick grep in the linux dts directory for arm64 give me a few SoC 
where we boot on it :

  Thunderx and Marvell 37XX.

  That being said I think you better try with a gic-v2 board as I adviced 
in AsiaBSDCon this year.


Emmanuel Vadot <manu at> <manu at>

More information about the freebsd-arm mailing list