Raspberry Pi Kernel Headers

To contact us Click HERE
As i mentiomed in my last post I have been trying to follow some instructions for building a driver for my WG111T usb wifi. I have got as far as the module assistant step which fails due to the kernel headers Debian package not being available:

pi@raspberrypi:~$ sudo m-a a-i ar5523Updated infos about 1 packagesGetting source for kernel version: 3.1.9+apt-get install kernel-headers-3.1.9+Reading package lists... DoneBuilding dependency tree      Reading state information... DoneE: Unable to locate package kernel-headers-3.1.9E: Couldn't find any package by regex 'kernel-headers-3.1.9'apt-get install build-essentialReading package lists... DoneBuilding dependency tree      Reading state information... Donebuild-essential is already the newest version.0 upgraded, 0 newly installed, 0 to remove and 29 not upgraded.Done!

Since then I have been trying to find out how to install the kernel headers but have so far failed to get a simple answer.

I managed to find a forum thread which included some commands that sounded like they might do the right thing.

sudo apt-get install gitgit clone –depth 1 https://github.com/raspberrypi/linux.gitsudo mv linux /lib/modules/3.1.9+/buildcd /lib/modules/3.1.9+/buildmake mrpropergzip -dc /proc/config.gz > .configmake modules_prepare

I tried to follow these instructions but only got as far as "make mrproper" before hitting an error.

pi@raspberrypi:/lib/modules/3.1.9+/build$ sudo make mrproperMakefile:327: /lib/modules/3.1.9+/build/scripts/Kbuild.include: No such file or directory/bin/bash: /lib/modules/3.1.9+/build/scripts/gcc-goto.sh: No such file or directorymake[1]: scripts/Makefile.clean: No such file or directorymake[1]: *** No rule to make target `scripts/Makefile.clean'.  Stop.make: *** [_clean_.] Error 2

I can't see how this is meant to work and I'm now a bit stuck again. The key question is how I should get the kernel headers installed.

EDIT: I have got this working in my next post.