Wow this is great. I can confirm this works, though since SMAP is 20th bit, it should be cpuid.7.ebx = "-----------0--------------------" Inside the VM:

Wow this is great. I can confirm this works, though since SMAP is 20th bit, it should be cpuid.7.ebx = "-----------0--------------------" Inside the VM: machdep.cpu.leaf7_features: SMEP ERMS RDWRFSGS TSC_THREAD_OFFSET BMI1 HLE AVX2 BMI2 INVPCID RTM RDSEED ADX FPU_CSDS I have updated the post crediting you!