FreeBSD - la façon la plus simple d'installer sur mon RPi?

Le support de Raspberry Pi a été fusionné dans FreeBSD-CURRENT il y a quelques mois. Cependant, les dernières instructions d'installation impliquent toujours un long processus de compilation croisée de l'ensemble du système d'exploitation sur une autre machine pour créer une image d'installation....