../ debian.exec 19-Jul-2008 12:59 340 initrd.debian 19-Jun-2018 11:20 4246939 kernel.debian 19-Jun-2018 11:20 10848768 parmfile.debian 13-Jan-2009 03:05 12