Linux Debug infrastructure (KProbe/UProbe/LTTng) Linux Debug infrastructure (Kernel debugging using KGDB)