Sorry to the list for all the noise... One final data point: On Tue, May 4, 2010 at 12:56 AM, Shane McDonald <mcdonald.shane@xxxxxxxxx> wrote: > When I'm inside my handler, I see the FCSR register has the value 0x8420, On a machine with an FPU, when I'm inside the handler, the FCSR register seems to have the value 0x400 (no Causes or Flags bits set), rather than the 0x8420 that the FP emulator has. Shane