Hi, On 16/10/17 09:37, Guillaume Perréal wrote: > Hello, > > Actually the FPU emulator is already enabled in that kernel. And I can > confirm the bug persist using a kernel I compiled myself with these > options enabled.
Where is the source for this kernel? Since I can't reproduce this bug with any of the machines Debian has (some of which use the kernel FPU emulator). I think it's likely this is a kernel or hardware bug. Unfortunately I don't think I'll be able to help debug it since I don't have the hardware. James
signature.asc
Description: OpenPGP digital signature
