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.


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)


You can download the VBoxGDB tool together with the source code here. See the source code documentation for details.


The VBoxGDB tool is licensed under the LGPL license.


Read a step-by-step tutorial on using VBoxGDB.