Jimmy 
I have a mini2440, and I want to test it with different kernels like loading android or other OS in mini2440. well I only found one topic: http://www.friendlyarm.net/forum/topic/5151 It has android kernel. I was not able to find websites on google so that where I can download kernels and practice it on mini2440.