u500: enable FPU; needed by linux

This commit is contained in:
Wesley W. Terpstra 2017-11-02 15:21:39 -07:00
parent 9cb03a3708
commit c965442560

View File

@ -37,7 +37,6 @@ class U500VC707DevKitPeripherals extends Config((site, here, up) => {
// Freedom U500 VC707 Dev Kit // Freedom U500 VC707 Dev Kit
class U500VC707DevKitConfig extends Config( class U500VC707DevKitConfig extends Config(
new WithoutFPU ++
new WithNExtTopInterrupts(0) ++ new WithNExtTopInterrupts(0) ++
new U500VC707DevKitPeripherals ++ new U500VC707DevKitPeripherals ++
new FreedomUVC707Config().alter((site,here,up) => { new FreedomUVC707Config().alter((site,here,up) => {