lib dma: fixed xeon phi case when not using HW model

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

Sockeye: Remove hardcoded xeon phi hack. Add XPHI DMA node

We now pass along a nodeid in the xphi dma lib

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

libdma: use provided convert function when setup descriptors

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

libdma: make it work with the driverkit dma buffer management

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

libdma: use libdriverkit for memory management

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

dma: towards support for IOMMUs

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

libc: removing newlib, adding BSD libc
posixcompat: moving gettimeofday to libc
harness: adding a simple math test
lwip, lwip2: moving includes to /include, compiling with BSD headers

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

libdma: refactoration of generic descriptor ring and descriptor handling