ARMv8 development board with GICv3

[Kurt Jaeger]

Hi!

> On a similar note, the SoftIron OverDrive 1000 
> (https://softiron.com/development-tools/overdrive-1000/) might be 
> suitable? It uses an A57 in an Opteron A1100 SoC. At $600 it's 
> relatively affordable for a complete system.

https://wiki.freebsd.org/arm64/OverDrive1000
says that it runs FreeBSD already 8-}

-- 
pi at opsec.eu            +49 171 3101372                    2 years to go !