../ debian-installer/ 12-Jul-2020 17:49 - pxelinux.cfg/ 12-Jul-2020 17:49 - mini.iso 12-Jul-2020 17:49 59M netboot.tar.gz 12-Jul-2020 17:49 50M pxelinux.0 12-Jul-2020 17:49 41K