../ debian.exec 02-Dec-2020 13:30 340 initrd.debian 02-Dec-2020 13:30 8074793 kernel.debian 02-Dec-2020 13:30 4308992 parmfile.debian 02-Dec-2020 13:30 12