Hi guys, this is my first question here. I wanted to build the kernel for my Micromax device (Spark 4g Prime), but micromax doesn't release the kernel source for its devices (gpl violation, yes, but it's a small company). I really searched everywhere, but could not find anything to help me. I...