From 69b5de4ffa20d6e2028b1656b2de68fbb929c231 Mon Sep 17 00:00:00 2001 From: Andrew Waterman Date: Wed, 16 Sep 2015 22:44:25 -0700 Subject: Initialize FCSR on boot --- pk/minit.c | 1 + 1 file changed, 1 insertion(+) diff --git a/pk/minit.c b/pk/minit.c index 3d4410b..f2754fa 100644 --- a/pk/minit.c +++ b/pk/minit.c @@ -47,6 +47,7 @@ static void fp_init() panic("FPU not found; recompile pk with -msoft-float"); for (int i = 0; i < 32; i++) init_fp_reg(i); + write_csr(fcsr, 0); #else if (supports_extension('D')) panic("FPU unexpectedly found; recompile pk without -msoft-float"); -- cgit v1.1