A GDB stub for debugging Linux kernel with VirtualBox
VBoxGDB project is a stub that allows debugging your Linux kernel running inside VirtualBox using the fast built-in VirtualBox debugger.
Pre-release
The current pre-release VBoxGDB 0.1 has the following limitations:
- Only 64-bit VirtualBox is supported
- Only 32-bit Linux guests are supported
- Only single-CPU guests are supported (CPU number will be ignored during debugging)
Download
You can download the VBoxGDB tool together with the source code here. See the source code documentation for details.
License
The VBoxGDB tool is licensed under the LGPL license.