I've submitted a small patch which fixes the Invariants build issue.
I had assumed from the CPU messages at boot that the AVX instruction set was supported. Upon reviewing the kernel code it's clear that it isn't. The new registers are not saved in the switching code. I'll have a play around on my system and see if I can implement support.
On 3/11/2012 12:42 PM, Robert Garrett wrote:
O.k. In regards to your other question regarding avx.. It appears that we detect the presence of these instructions, however I see where SSE is enabled, but not where AVX is enabled. These instructions require operating system support. Matt should be able to answer if these where ever enabled. I know that FreeBSD added a patch to support this instruction family. RG
