Hi,
Despite this is my first post, I've been reading XDA for almost two years now. But I didnt had an answer to ask or something brillant to share...

Until now! Im so in love with my KitKat Atrix that I really feel the need to get involved and make it better. I've been writing software for the past 15 years, but most of it enterprise software. Never got into a kernel before. But I really want to start now, and would like if someone,
@PolesApart maybe, would kindly lead me to some reading to get started and to the sources of this beautiful kernel. I would like to focus in getting HDMI mirroring to work in KitKat for the Atrix 4G.
@epinter got it working on CM 10. I dont know if this would be a good start, but feel like it may be.
What do you think? Could someone give me some guidance in this?
Thanks in advance!