LibVMI-based GDB server for virtual machines - View it on GitHub