There is a page at the FreeBSD.org site that provides images for the Raspberry Pi. I've tried this and it works. There is also a separate site called RaspBSD.org that also provides what seems to be the same thing. They do not seem to be sync'ed as RaspBSD.org has the FreeBSD 11 image but not FreeBSD 12, while FreeBSD.org does.
What's the functional difference between these two? Are they the same thing? Is one more optimized? Or something else entirely?