../ debian-installer/ 12-Dec-2022 19:03 - pxelinux.cfg/ 12-Dec-2022 19:03 - mini.iso 12-Dec-2022 19:03 70M netboot.tar.gz 12-Dec-2022 19:03 59M pxelinux.0 12-Dec-2022 19:03 41K