I'm just have an interest with this question, and found no possible answer anywhere. When using the windbg 'version' or 'vertarget' command, the 'machine name' field is always empty. Any method to get target machine's name from windbg for either live debug or dump post debug?
0: kd> vertargetWindows 8 Kernel Version 9200 MP (8 procs) Free x64
Product: WinNt, suite: TerminalServer SingleUserTS
Built by: 9200.16384.amd64fre.win8_rtm.120725-1247
Machine Name: this field is always empty