https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=255997
--- Comment #5 from Henning Zabel <[email protected]> --- i have applied the changes from D30512 and removed our work around in fpu_kern_thread (test for fpu_initstate != 0). the fpu state is still restored at the end of our implementation of fpu_kern_thread. with these changes the kernel is booting and the issue is gone. -- You are receiving this mail because: You are the assignee for the bug.
