On Mon, May 16, 2016 at 04:52:50AM +1000, Nathanial Sloss wrote: > > There would be benefits in using FPU registers as this would distribute the > work between cpu and fpu I'll also look into this.
On most architectures, you can't use the FPU in the kernel at this time. Thor
