some kind of a warning:
If you’ll be building FreeBSD with DPAA2 drivers from sources in order to run on Ten64 with the latest firmware (0.8.9+), be careful with SoC overheating under load as fan speed isn’t controlled at the moment. I’d recommend to down-clock Ten64 to 1200 MHz (Cpu temperature and fan speed - #4 by mcbridematt) in this case to avoid some unexpected kernel panics.