So, I fiddled with some settings in my PC's BIOS, and now I'm running a 64-bit installation of Debian inside VMware. In spite of VMware being run under a 32-bit edition of Windows XP. :-D
Post a reply to this message