@LaurentChemla @agnesaltairis @xs Mais et comment la Debian elle même serait signée ? (j'y connais rien du tout en secure boot, on peut utiliser une distro linux arbitraire avec ce genre de dispositif ?)