ARMv8 development board with GICv3

Marcelo Araujo araujobsdport at
Wed Jun 13 07:06:42 UTC 2018

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.


Marcelo Araujo            (__)araujo at
\\\'',) <>   \/  \ ^
Power To Server.         .\. /_)

More information about the freebsd-arm mailing list