c'est quoi ton hardware support data? une clef usb ou truc de ce genre?
pour le demarrage, je te conseille archlinux sinon toute distrib que tu sauras optimisé par toi même.
si tu veux commencer des optimisation boot, install bootchart.
C'est un disque dur externe branché sur un raspberry pi
Archlinux ca peut être sympa mais je vais d'abord essayer d'optmiser avec bootchart.
