PR2

dx4000-bullseye-installer.iso - This is the image file you want to download and write to a USB stick if you wish to do a full installation of Debian to your DX4000

mini.iso - This is the source file used as the basis of the dx4000-bullseye-installer.iso image. It is provided to allow reproducible builds of the dx4000-bullseye-installer.iso