FreeBSD on Rock-Pi-S (RK3308)

Hello,

I am trying to investigate running FreeBSD on a Rock-Pi-S (RK3308), as
it has an excellent form factor, and I think could be useful for quite
a few tasks. I would like to get wireless audio streaming over sndio
and airplay (shairport-sync) working, but I am guessing I will run
into issues with wifi drivers even if I can get FreeBSD running.

I have been documenting my process on
https://forums.freebsd.org/threads/adding-support-for-the-rockpi-s.80956/#post-518429
(just posted an update that is currently pending), and the TLDR; is
that I am still trying to build an appropriate u-boot.

I was curious if anyone is working on this board, and maybe has a
uboot already running. If so I would love to collaborate. I am fairly
new to bringing up new boards, but learning pretty quickly I think.

Thanks
-- Paul <MobiusHorizons>