[Openmcl-devel] Linux x86-64 notes

[R. Matthew Emerson]

If you run CCL on Linux/x86-64, you might want to look at
http://trac.clozure.com/ccl/wiki/PlatformNotes.

The upshot is that the kernel can fail to restore the
processor's FPU state in certain circumstances, and this
can cause CCL to crash or perhaps produce incorrect
floating-point results.  The problem seems to be more likely
to surface when kernel preemption is enabled.  See the link
above for the gory details.

The moral of the story: please consider using an up-to-date
Linux kernel. It appears that kernel versions 2.6.37 and later
should be OK.