SSE support
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 4 May 2010 22:56:26 +0000 (15:56 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:35:47 +0000 (17:35 -0700)
commitdc198cdddd075effde1fad50d84dafe96a6413d5
treeb161175d03485518b0beb8cf257abb2ffa7d4dad
parent223cb535c7e3c2d5cea223b52e42ed8b3ade1776
SSE support

Enables basic SSE support in the kernel.  Like with FP, this doesn't
handle exceptions or anything.  Save/restore should be working (at
least, the save_fp_state() works, maybe we don't call it at the right
times).

Untested, might work.
kern/arch/i686/cpuinfo.c
kern/arch/i686/smp_boot.c