I am creating a VMWare VM from my old laptop. Since VMWare Player is not free for me to use at work, I am looking at converting the resulting VM to a VirtualBox VM. (There are several tutorials on how to do this.)
But as I was going to install VirtualBox I saw that it only supports x86/AMD64.
Both my laptop and my new computer have an Intel 64 bit processor.
It is a bit confusing because the main page for VirtualBox says it supports AMD64/Intel64. But the download omits Intel64.
Am I out of luck? Or is there some way to make it work? (Or will it just work even though it says it is only for amd64?)