Merge branch 'bsdlibc'

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

diff --cc hake/ARMv7.hs
Simple merge

diff --cc hake/ArchDefaults.hs
index 46f7f4b,9484890..fe0de2e
--- 1/hake/ArchDefaults.hs
--- 2/hake/ArchDefaults.hs
+++ b/hake/ArchDefaults.hs
@@@ -313,11 -307,15 +307,17 @@@ linker arch compiler opts objs libs mod
      ++
      [ In BuildTree arch o | o <- objs ]
      ++
+     [Str "-Wl,--start-group"]
+     ++
+     [ In BuildTree arch l | l <- libs ]
+     ++
      [Str "-Wl,--whole-archive"] ++ [ In BuildTree arch l | l <- mods ] ++ [Str "-Wl,--no-whole-archive"]
      ++
 +    [ In BuildTree arch l | l <- libs ]
 +    ++
      (optLibs opts)
+     ++
+     [Str "-Wl,--end-group"]
  
  
  --

diff --cc if/Hakefile
index efd3391,56832e8..f07dd42
--- 1/if/Hakefile
--- 2/if/Hakefile
+++ b/if/Hakefile
@@@ -96,8 -96,7 +96,9 @@@
                 "ddomain",
                 "dcontrol",
                 "net_filter",
 +               "twl6030",
-                "cm2"
++               "cm2",
+                "net_sockets"
             ],
               arch <- allArchitectures
  ] ++

diff --cc platforms/Hakefile
Simple merge

diff --cc usr/drivers/omap44xx/sdma/main.c
index 212a25c,39afc91..023db11
--- 1/usr/drivers/omap44xx/sdma/main.c
--- 2/usr/drivers/omap44xx/sdma/main.c
+++ b/usr/drivers/omap44xx/sdma/main.c
@@@ -23,6 -23,14 +23,8 @@@
  #include "sdma.h"
  #include "omap_sdma.h"
  
+ #define MIN(a,b) (((a)<(b))?(a):(b))
+ 
 -// Channel State. Filled by the interrupt callback, read by the request task.
 -static struct {
 -    awe_t *request;
 -    errval_t err;
 -} channel_state[OMAP44XX_SDMA_NUM_CHANNEL];
 -
  /**
   * \brief Interrupt callback which will be called when a channel interrupt
   * occurs.