ARMv8 development board with GICv3

Alexandru Elisei alexandru.elisei at
Fri Jun 15 12:40:38 UTC 2018

Thank you all for your suggestions.

I was considering the espressobin board [1], I only need a disk to
boot from and a network controller to connect to the board.

It uses a Marvell 3720 SoC (model 88F3720) which according to the
specs [2] has all exception levels and it uses a GIC-500 interrupt
controller which implementes the GICv3 specification [3].

The board is supported under linux [4], I was wondering if anyone can
tell me how well it is supported under FreeBSD.


Alexandru Elisei

On Fri, Jun 15, 2018 at 2:02 AM, Michael Dexter
<editor at> wrote:
> On 6/13/18 12:37 AM, Rodney W. Grimes wrote:
>> I believe the Chromebook SNOW meets the criteria, not exactly a
>> "board" but I have one on loan from Michael Dexter that was originally
>> purhased to support ARMv8 bhyve work.
> Peter Grehan handed one to Ruslan at AsiaBSDCon a few years back which led
> to basic FreeBSD support. "Spurious interrupts" soon became an issue with
> later versions of FreeBSD and I don't believe anyone has resolved it. This
> model was very much the one to get for its virtualization potential at a low
> price.
> Michael

More information about the freebsd-arm mailing list