Bonjour ,
Quelques nouvelles :
Ca y est , net bsd tourne sur le PI4 .
j'ai un peu galéré au début car j'avais recompilé les sources de la dernière version stable de netBSD (la 9.2) . Or celle-ci ne supporte les raspberry que jusqu'au PI3(je ne m'en suis aperçu qu'après) .
Le kernel commençait à booter puis se figeait lors le l'init du contrôleur d'interruption.
Si la 9.2 de netBSD ne supporte pas le PI4 , la future 10.0 oui

.
J'ai donc téléchargé par CVS les sources non plus de la dernière version stable officielle (la 9.2) mais de la version current (en cours de dev, la future netBSD 10) Après recomplation en cross sur mon PC , je balance l'image sur une clé USB , je mets la dernière version du firmware efi sur la partition 1 et là pas de pbs le pi4 boot sur netbsd .
Je l'ai installé sur un disque dur externe .
J'ai installé , X , firefox , openoffice, Xfce4 tout fonctionne
le seul truc qui ne fonctionne pas encore et le wifi
je suis entrain d'installer apache, mysql , php uis joomla.
Je ferais bientôt un tuto complet