Eliot Miranda wrote:
So I don't see how this allows one to have a 64-bit VM that can run true 64-bit images. What am I missing?
You are mostly confused about the various combinations ;-) Let's start from first principles: You can run 32bit images on top of 64 bit VMs. This is achieved by using oopForPointer/pointerForOop.
In order to run 64 bit images you need a 64 bit image to begin with. The 64 bit VM doesn't auto-magically convert your 32bit image into a 64 bit one. This is done by SystemTracer and friends.
Does that help?
Cheers, - Andreas