Os ficheiros de instalação para sistemas suportados pelo kernel multiplataforma armhf (veja Secção 2.1.4, “Plataformas suportadas por Debian/armhf”) consistem numa imagem standard de kernel, uma imagem standard do ramdisk inicial de Linux e um blob device-tree específico do sistema. O kernel e a imagem inicial do ramdisk podem ser obtidos a partir de .../images/netboot/ e o device-tree blob pode ser obtido em .../images/device-tree/ . O arquivo tar para criar uma pen USB de arranque com o instalador podem ser obtidos em .../images/hd-media/ .

As imagens U-boot para várias plataformas armhf estão disponíveis em .../images/u-boot/ .