the dev tools seem to be available for x64 only, and I'm pretty sure Virtual PC will only host a 32bit o/s?

in the other thread someone mentioned vmware panics when booting win8, but parallels works ok. I'm going to give virtualbox a shot