Marche avec un RBPi4B ou sur un rk3588 (comme mon ordi, mais je n'ai pas fait la manip) et sans doute plein d'autres trucs +/- exotiques.
Dire qu'il y a +/- vingt ans je râlais contre l'UEFI (les Intel Atoms sur les EEPC, tout ça) . Vraiment bravo !
(*) du coup, ça peut amorcer une partition avec Grub dessus ... si vraiment le besoin se fait sentir (parce que sinon, on peut vite tourner en rond/bourrique, expérience vécue)
"Si tous les cons volaient, il ferait nuit" F. Dard
[^] # Re: sinon
Posté par Luc-Skywalker . En réponse au message Problème au boot d'une raspberry pi 4. Évalué à 2.
Ouf, sauvé. C'est possible avec edk2 (doc)
C'est pas Grub, c'est UEFI (*).
Marche avec un RBPi4B ou sur un rk3588 (comme mon ordi, mais je n'ai pas fait la manip) et sans doute plein d'autres trucs +/- exotiques.
Dire qu'il y a +/- vingt ans je râlais contre l'UEFI (les Intel Atoms sur les EEPC, tout ça) . Vraiment bravo !
(*) du coup, ça peut amorcer une partition avec Grub dessus ... si vraiment le besoin se fait sentir (parce que sinon, on peut vite tourner en rond/bourrique, expérience vécue)
"Si tous les cons volaient, il ferait nuit" F. Dard