../ debian.exec 19-Jul-2008 12:59 340 initrd.debian 31-May-2016 00:17 3672209 kernel.debian 31-May-2016 00:17 6336000 parmfile.debian 13-Jan-2009 03:05 12