Ubuntu VirtualBox虚拟机中的AVX？

我在virtualbox中安装了最新的Ubuntu 14.04 amd64（gcc 4.8.2），运行cat/proc/cpuinfo，得到结果：

处理器核心i52520M不支持AVX指令。我使用了Ubuntu12.04AMD64（GCC4.6），它通过/proc/cpuinfo支持AVX

---

如何在我的virtualbox软件中使用AVX？

（我可以通过测试确认）。

据我所知，virtualbox不支持AVX（），我明白了。根据以上结果，我认为virtualbox甚至不支持SSE4.x.@NorbertP。这是一个古老的线索，但有没有更新的来源引用？没有版本的VirtualBox我用过支持AVX的。如果我没记错的话，VMware会这样做，但我无法确认这一点。SSE4.2VirtualBox 5.0 beta 3在实践中对我来说太不稳定了。但是VirtualBox 5.0 RC2到目前为止似乎是稳定的。看起来AVX2暂时被禁用了，我写了一个答案，提供了更多信息以及如何在AskUbuntu上重新启用它：