На сайте FreeBSD.org есть страница с изображениями для Raspberry Pi. Я попробовал это, и это работает. Существует также отдельный сайт под названием RaspBSD.org, который также предоставляет то, что кажется тем же самым. Похоже, что они не синхронизируются, поскольку RaspBSD.org имеет образ FreeBSD 11, но не FreeBSD 12, в отличие от FreeBSD.org.
В чем функциональная разница между этими двумя? Это одно и то же? Еще один оптимизирован? Или что-то еще целиком?