> Thanks Peter for the clarification. Is there a way to tell this from dmesg? I think I answered my own question: # sudo dmesg | grep UG VT-x: PAT,HLT,MTF,PAUSE,EPT,UG,VPID A+ Dave