how to remove /boot/knoppix.{img,sh}

Hi,

Playing with 'df -h' I found the boot partition to be full:

Code:

/dev/hda1 99M 95M 0 100% /boot

Wondering how this could happen I found the following:

Code:

# ls -la /boot total 90862 drwxr-xr-x 4 root root 1024 Dec 2 19:06 . drwxr-xr-x 26 root root 4096 Feb 26 09:55 .. -rw-r--r-- 1 root root 56950 Oct 21 16:58 config-2.6.12-1.1381_FC3 -rw-r--r-- 1 root root 50929 Nov 3 2004 config-2.6.9-1.667 -rw-r--r-- 1 root root 39437 Mar 21 2005 configs.tbz drwxr-xr-x 2 root root 1024 Dec 2 19:07 grub -rw-r--r-- 1 root root 982829 Dec 2 01:24 initrd-2.6.12-1.1381_FC3.img -rw-r--r-- 1 root root 970344 Mar 21 2005 initrd-2.6.9-1.667.img -rw-r--r-- 1 root root 85983232 Mar 22 2005 knoppix.img -rw-r--r-- 1 root root 462 Mar 21 2005 knoppix.sh drwx------ 2 root root 12288 Mar 21 2005 lost+found -rw-r--r-- 1 root root 765359 Oct 21 16:58 System.map-2.6.12-1.1381_FC3 -rw-r--r-- 1 root root 714266 Nov 3 2004 System.map-2.6.9-1.667 -rw-r--r-- 1 root root 1660241 Oct 21 16:58 vmlinuz-2.6.12-1.1381_FC3 -rw-r--r-- 1 root root 1405861 Nov 3 2004 vmlinuz-2.6.9-1.667

A while ago I used a knoppix live CD and probably did something wrong...

Can I just erase the knoppix.* files with

Code:

rm /boot/knoppix.*

or should I delete them using some other procedure?

How about the other files - are they all necessary?

Thanks, Dietrich