Synopsis: FPU troubles

Responsible-Changed-From-To: port-xen-maintainer->bouyer
Responsible-Changed-By: bouyer@netbsd.org
Responsible-Changed-When: Tue, 03 Jan 2006 20:23:52 +0000
Responsible-Changed-Why:
I commited a variant of Paul's patch.


State-Changed-From-To: open->feedback
State-Changed-By: bouyer@netbsd.org
State-Changed-When: Tue, 03 Jan 2006 20:23:52 +0000
State-Changed-Why:
Hi
can you please try a current kernel with xen/i386/npx.c 1.7 and see if it's
fixed ?