LibVMI-based GDB server for virtual machines