Programming Interrupts in Raspberry Pi

Here,i have tried to access the GPIO Pins from a simple Character Device Driver by mapping the physical address of the GPIO_BASE. An interrupt is also requested from the Kernel in the Device Driver Program, and is associated with a GPIO Pin based on which the GREEN LED is controlled from GPIO Pin 4, of the Expansion Header of Raspberry Pi. The Interrupt source is a simple Timer Circuit whose HIGH Level is used to trigger an interrupt after every ~13 seconds.

[youtherbiswas]

More Info and Resources about my Project can be found in my Blog: 

[audience]

Hey very nicely explained and demonstrated
I have gone through your blog. Its lovely work. I am following your blog and I am trying to develope simple GPIO DD for my Raspberry Pi. I have understood the program but I have never tried building DD using cross compiling methode. I did it on Lunux machine and I am beginner. Please guide me to work this project on my RPi. So in cross compilation method I should download the source code of the same kernel which is running on Target board (in my case target board is Raspberry Pi B+, kernel is raspbian weezy 3.18). I have Image of kernel which I dumped on SD card and that Image is installed on RPi. Now I should find the same Kernel source (3.18) and should install in Home directory of my host computer. And then I should buid module for GPIO and insert it in the Host computer RPi Kernel to test the working, right? Then how to put this module in target Kernel? Kindly guide me.
Thank You