Fix FPU initialization code
authorAndrew Waterman <andrew@sifive.com>
Sat, 25 Mar 2017 23:07:25 +0000 (16:07 -0700)
committerAndrew Waterman <andrew@sifive.com>
Sat, 25 Mar 2017 23:07:25 +0000 (16:07 -0700)

No differences found