I have no idea whether the kernel source is installed, im very new to linux, as you could have imagined, I cant get the files off the internet, because I cant get online from linux, I can put them on a CD i guess and go over.. The files I have in my /src folder are 4 .h files 3 .c files, a .4 file and Makefile