minios: setup fpu and sse in mini-os
authorMatthew Fioravante <matthew.fioravante@jhuapl.edu>
Mon, 8 Oct 2012 13:36:31 +0000 (14:36 +0100)
committerMatthew Fioravante <matthew.fioravante@jhuapl.edu>
Mon, 8 Oct 2012 13:36:31 +0000 (14:36 +0100)
commit3d30a2684b1ce7210ca5331ea1497f18c5675ffe
tree2c56295b5ec1d308c82207c8e85f5e15a5f78ef1
parent6c05d819d836f9955c0ab09e9dfa657e097b2a46
minios: setup fpu and sse in mini-os

This patch adds floating point and sse support to mini-os by
initializing the floating point unit and the see unit during
domain boot up.

Signed-off-by: Matthew Fioravante <matthew.fioravante@jhuapl.edu>
Acked-by: Samuel Thibault <samuel.thibault@ens-lyons.org>
Committed-by: Ian Campbell <ian.campbell@citrix.com>
extras/mini-os/arch/x86/setup.c