From c965442560d2fa820e0f835f1cd38acec7f2245b Mon Sep 17 00:00:00 2001
From: "Wesley W. Terpstra" <wesley@sifive.com>
Date: Thu, 2 Nov 2017 15:21:39 -0700
Subject: [PATCH] u500: enable FPU; needed by linux

---
 src/main/scala/unleashed/u500vc707devkit/Config.scala | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/main/scala/unleashed/u500vc707devkit/Config.scala b/src/main/scala/unleashed/u500vc707devkit/Config.scala
index fd017bd..f15c14e 100644
--- a/src/main/scala/unleashed/u500vc707devkit/Config.scala
+++ b/src/main/scala/unleashed/u500vc707devkit/Config.scala
@@ -37,7 +37,6 @@ class U500VC707DevKitPeripherals extends Config((site, here, up) => {
 
 // Freedom U500 VC707 Dev Kit
 class U500VC707DevKitConfig extends Config(
-  new WithoutFPU                 ++
   new WithNExtTopInterrupts(0)   ++
   new U500VC707DevKitPeripherals ++
   new FreedomUVC707Config().alter((site,here,up) => {
-- 
2.30.2