Il y a un page sur le site FreeBSD.org qui fournit des images pour le Raspberry Pi. J'ai essayé ça et ça marche. Il existe également un site séparé appelé RaspBSD.org cela fournit aussi ce qui semble être la même chose. Ils ne semblent pas être synchronisés car RaspBSD.org a l’image FreeBSD 11 mais pas FreeBSD 12, contrairement à FreeBSD.org.
Quelle est la différence fonctionnelle entre ces deux? Sont-ils la même chose? Est-ce qu'on optimise encore? Ou quelque chose d'autre entièrement?