u500: enable FPU; needed by linux

diff --git a/src/main/scala/unleashed/u500vc707devkit/Config.scala b/src/main/scala/unleashed/u500vc707devkit/Config.scala
index fd017bd805f56aa7bcfcba03f4422fa2f2775d52..f15c14ea0148e03ff8dc13dad97489c6020ea4a3 100644 (file)
--- 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) => {