Merge branch 'bsdlibc'
[barrelfish] / hake / ARMv7.hs
index 71c6847..567c1df 100644 (file)
@@ -88,8 +88,8 @@ options = (ArchDefaults.options arch archFamily) {
             optLdFlags = ldFlags,
             optLdCxxFlags = ldCxxFlags,
             optLibs = stdLibs,
-            optInterconnectDrivers = ["lmp", "ump"],
-            optFlounderBackends = ["lmp", "ump"]
+            optInterconnectDrivers = ["lmp", "ump", "local"],
+            optFlounderBackends = ["lmp", "ump", "local"]
           }
 
 --