The Embedded Systems Lab at Lanzhou University, China, has published three detailed, example-filled articles about Linux kernel debugging tools and tactics. The papers cover GCOV code coverage tools, kernel function instrumentation, and runtime debugging, and were written by Nicholaus McGuire, who now teaches at Lanzhou University. Free articles cover Linux kernel debugging tools, techniques