I'm sure FreeBSD is amazing but this article is light on important details for embedded engineers. Which chips support FreeBSD? How do you build an embedded co

I'm sure FreeBSD is amazing but this article is light on important details for embedded engineers. Which chips support FreeBSD? How do you build an embedded computer with FreeBSD? Case in point, I know Microchips SAM9x line has large 0.8mm pitch BGA and is relatively easy DDR2 support with exceptionally easy startup / power sequencing. Finally, https://www.linux4sam.org/ https://www.linux4sam.org/ has Linux builds and device drivers such that GPIO and ADC is as easy as reads and writes to /dev/ADC device files. Does any chip manufacturer offer FreeBSD BSP support that makes life that easy?