gnumach doesn't support newer fpu state for mmx/xmm et al. would need new thread state flavor for "fpx" or whatever we call it. cf linux asm/user.h user_i387_struct vs user_fxsr_struct former is what mach can handle. need to handle latter in ctx sw + user thread state flavor, then enable cpu support bits (cr4 bit i think).
_______________________________________________ Bug-hurd mailing list Bug-hurd@gnu.org http://lists.gnu.org/mailman/listinfo/bug-hurd
