You probably should rebuild the kernel using the debian kernel build package and make kpgk. I am not sure if you would 'get into trouble' just deleting the kernel image, boot and map files by hand or not (the system should boot ok but I am not sure how dpkg would 'feel' about their not being present).
-bill ____________________________________________________________________ Get free e-mail and a permanent address at http://www.netaddress.com -- TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to [EMAIL PROTECTED] . Trouble? e-mail to [EMAIL PROTECTED] .
