Default CM kernel debug toolchain

I am trying to learn Kernel level debugging for CyanogenMod preferably running on Odroid hardware. Can you please suggest a right forum/initial pointers.

Just want to make sure I start right.