On Monday 05 April 2010 15:15:08 Michael Moll wrote: > the patch from > http://people.freebsd.org/~kib/misc/kern_fpu.2.patch > fixes this problem for me. The patch fixes the problem on my i386 mini-iTX system too. -- Bruce