You'd use WinDBG today. It allows you to do remote kernel debugging over a network. This also includes running Windows in a virtual machine, and debugging it through the private network connection.