Les fichiers d'installation pour les systèmes pris en charge par le noyau armhf multiplate-forme (consultez la Section 2.1.4, « Plates-formes prises en charge par Debian/armhf ») sont constitués d'un noyau Linux standard, d'une image initrd Linux standard et d’un arbre de périphériques (« device-tree blob ») spécifique au système. Le noyau et l'image initrd pour l'amorçage par TFTP peuvent être obtenus depuis .../images/netboot/ et l'arbre de périphériques peut être obtenu depuis .../images/device-tree/ . L'archive tar pour créer une clé USB amorçable avec l'installateur peut être obtenue depuis .../images/hd-media/ .

Les images U-Boot pour diverses plates-formes armhf sont disponibles à .../images/u-boot/ .