architectures which satisfy Popek and Goldberg virtualization requirements?



Does the x86 architecture with Intel's Vanderpool or AMD's Pacifica
extensions satisfy the Popek and Goldberg virtualization requirements?

Does MMIX satisfy the requirements?

I asked in comp.arch and in comp.lang.asm.x86, but got no answer.

.



Relevant Pages