Does anyone know why this is? The inclusion of this under "bugs" alongside the tendency to crash the kernel makes me think that VMX was originally intended to be able to leverage multiple cores and the author only got it "mostly working". Is there any documentation around what direction was going to be taken with this?