Really wish there was still a standalone iso for the SDK though.
I ran the x64 debugging tools installer and it seems to have installed into the 32 bit program files folder?
C:\Program Files (x86)\Windows Kits\8.0\Debuggers\x64
Anyways, I'm guessing this is the right version since Windbg is showing:
Windows 8 Version 9200 MP (8 procs) Free x64
Product: WinNt, suite: SingleUserTS
Built by: 6.2.9200.16384 (win8_rtm.120725-1247)
Couldn't we just use the .effmach x86 command to switch between x64 and x86?
Was the debugger installation instructions from episode #1 ever updated for Win8?
Windbg is supposed to be integrated into Visual Studio 2012 now but I don't see it anywhere?
I had to install Window 8 Driver SDK for windbg x64 and x32 to show up.
Might also be included with Windows 8 SDK download.