The new Opi board, using the popular rk3399 at a good price.
Has a debian image... not sure what kernel it uses.
Where to start ?
Ok ! I've finally found my issue with Non-Rev OPi4 : a junior mistake !
A power supply issue, I've decided to measure it after the freeze, it was too low !
I've try another PSU, and it reach the login prompt !