../ debian.exec 19-Jul-2008 10:59 340 initrd.debian 01-May-2013 08:39 3500797 kernel.debian 01-May-2013 08:39 6303232 parmfile.debian 13-Jan-2009 01:05 12