replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

harness: adapted networking test

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

net_sockets: change service so it can be used for all the NICS.

- net_sockets service now takes cardname as an arugment
- change all the tests and updated the device db

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

harness: vmkit test added net_socket module

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

Trying to fix vmkit test.

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

harness: vmkit: add correct serial driver module

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

T203 vmkit test: fix menu.lst for serial output

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

Merge of upstream arrakis code.

This merge includes the following:
* VT-d (IOMMU) support
* VMX (Intel CPU virtualization) support
* Parallel hake build
* MegaRAID driver
* Subways fast packet forwarding application
* Identify physical address of VNodes
* libstorage (VSIC & VSA support)
* POSIX support: poll, uname, nanosleep, fsync, poll, pthread attributes, syslog, wait3, ...
* TenaciousD (persistent data structures: log & queue)
* Hack to skip boot RAM when it's too large
* Arranet: Support for raw IP sockets, interrupts
* Removal of colorful debug output
* MegaRAID blockdevfs support
* Arrakis compile wrappers for Autoconf
* Patches to binutils & GCC to build Arrakis C++ applications

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Signed-off-by: Simon Peter <simpeter@cs.washington.edu>
Signed-off-by: Oleg Godunok <ogodunok@gmail.com>
Signed-off-by: Antoine Kaufmann <antoinek@cs.washington.edu>
Signed-off-by: Jialin Li <lijl@cs.washington.edu>
Signed-off-by: Dalton Black <dalton.m.black@gmail.com>
Signed-off-by: Taesoo Kim <taesoo@uw.edu>

Fixed vmkit harness test to point to new NFS export.

Using the polling mode for for e1000n driver as the interrupt mode was
not working very reliably.

renamed the app E1K_mng to NGD_mng.
also, modified the harness to work with this new system.

--HG--
rename : usr/device_managers/E1K/Hakefile => usr/device_managers/net_gen_dev/Hakefile
rename : usr/device_managers/E1K/E1K_mng.c => usr/device_managers/net_gen_dev/NGD_mng.c
rename : usr/device_managers/E1K/E1K_mng_debug.h => usr/device_managers/net_gen_dev/NGD_mng_debug.h

LPC timer still needed for vmkit.

Applying the diff with my tree as patch

Applied the patch to rebase my changes on new barrelfish tree

Initial version of public stable barrelfish repository.