This mini-course teaches you how to use the Windows Debugger (WinDbg) to debug the Windows kernel, for exploration of OS internals.
Overview
Syllabus
- Debugger OS Configuration (1 Question)
- Create & Configure Debuggee OS (1 Question)
- Connect Kernel Debugger to Debuggee (1 Question)
- Example Kernel Driver Compilation & Debugging
- Commands That Work in Kernel and Userspace
- Kernel-only Commands
- (Optional) Local Kernel Debugging
- Mini-Course Complete!