ARMv8 development board with GICv3

[Alexandru Elisei]

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.

[1] http://espressobin.net/
[2] https://origin-www.marvell.com/documents/qc8hltbjybmpjhx36ckw/
[3] http://infocenter.arm.com/help/topic/com.arm.doc.ddi0516b/DDI0516B_gic5000_r0p0_trm.pdf
[4] https://github.com/torvalds/linux/tree/master/arch/arm64/boot/dts/marvell

Regards,
Alexandru Elisei

On Fri, Jun 15, 2018 at 2:02 AM, Michael Dexter
<editor at callfortesting.org> 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