replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

network,port manager: turning messages into rpcs

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

Interface definitions: Changing calls/responses into messages.

Signed-off-by: Adam Turowski <adam.turowski@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>

Second set of patches for Bulk Transfer DSL project

See commit 854eafa

e10k: Enable use of MSI-X
This allows us to use interrupts also in standalone queue drivers
---
if/e10k.if | 2 +
usr/drivers/e10k/Hakefile | 17 ++--
usr/drivers/e10k/e10k_cdriver.c | 205 ++++++++++++++++++++++++++++++++++----
usr/drivers/e10k/e10k_qdriver.c | 55 +++++++++--
usr/drivers/e10k/helper.c | 88 +++++++++++++++++
usr/drivers/e10k/helper.h | 18 ++++
6 files changed, 347 insertions(+), 38 deletions(-)

e10k: First (broken) attempt at implementing driver
side of RSC
If RSC is enabled the RX queue gets somehow stuck (skips a descriptor).
---
devices/e10k.dev | 5 +-
devices/e10k_q.dev | 5 +-
if/e10k.if | 3 +-
usr/drivers/e10k/e10k_cdriver.c | 38 ++++++++++++---
usr/drivers/e10k/e10k_qdriver.c | 31 +++++++++----
usr/drivers/e10k/e10k_queue.h | 97 ++++++++++++++++++++++++++++++++++-----
6 files changed, 148 insertions(+), 31 deletions(-)

e10k: Added interrupt throttling (fixed by command
line atm)

e10k: First (broken) attempt at implementing driver
side of RSC
If RSC is enabled the RX queue gets somehow stuck (skips a descriptor).
---
devices/e10k.dev | 5 +-
devices/e10k_q.dev | 5 +-
if/e10k.if | 3 +-
usr/drivers/e10k/e10k_cdriver.c | 38 ++++++++++++---
usr/drivers/e10k/e10k_qdriver.c | 31 +++++++++----
usr/drivers/e10k/e10k_queue.h | 97 ++++++++++++++++++++++++++++++++++-----
6 files changed, 148 insertions(+), 31 deletions(-)

e10k: Added interrupt throttling (fixed by command
line atm)
---
if/e10k.if | 3 +++
usr/drivers/e10k/e10k_cdriver.c | 22 ++++++++++++++++
usr/drivers/e10k/e10k_qdriver.c | 53 +++++++++++++++++++++++++++++++++------
3 files changed, 71 insertions(+), 7 deletions(-)

Created monolithic version of e10k driver (to enable legacy interrupts)
This version of the driver combines the card driver and a queue driver
instance for one queue (queue= on cmdline), other required queues still
have to be started as separate queue drivers.
---
if/e10k.if | 3 +-
usr/drivers/e10k/Hakefile | 11 +++
usr/drivers/e10k/e10k_cdriver.c | 114 +++++++++++++++++++------
usr/drivers/e10k/e10k_qdriver.c | 173 +++++++++++++++++++++++++++++++--------
4 files changed, 239 insertions(+), 62 deletions(-)

e10k: Added support for TX head index write back
---
if/e10k.if | 1 +
usr/drivers/e10k/e10k_cdriver.c | 16 +++++++++++++++-
usr/drivers/e10k/e10k_qdriver.c | 31 +++++++++++++++++++++++++------
usr/drivers/e10k/e10k_queue.h | 17 ++++++++++++-----
4 files changed, 53 insertions(+), 12 deletions(-)

e10k: Implemented terminate queue
This implementation is not really clean yet, but for the moment it
works. Should not be used if there are filters or if there is much
traffic.
---
if/e10k.if | 3 ++
usr/drivers/e10k/e10k_cdriver.c | 49 +++++++++++++++++++++++++++++++++++++++
usr/drivers/e10k/e10k_qdriver.c | 22 ++++++++++++++++-
3 files changed, 72 insertions(+), 2 deletions(-)

e10k: Extended management interface to support HW filters
e10k now also exposes methods to register hardware filters in its
managment interface. Those methods will later be called from the device
manager library.
---
if/e10k.if | 24 +++++++++-
usr/drivers/e10k/e10k_cdriver.c | 97 ++++++++++++++++++++++++++++++++++++---
2 files changed, 113 insertions(+), 8 deletions(-)

e10k: Split up driver in two independant processes
One process is the card driver, it does the intialization of the card
and will be responsible for configuring filters. The other process is
a queue driver started for each queue.
---
hake/symbolic_targets.mk | 1 +
if/Hakefile | 1 +
if/e10k.if | 33 +
include/net_device_manager/net_device_manager.h | 2 +
usr/drivers/e10k/Hakefile | 18 +-
usr/drivers/e10k/e10k.c | 1006 -----------------------
usr/drivers/e10k/e10k.h | 10 +-
usr/drivers/e10k/e10k_cdriver.c | 883 ++++++++++++++++++++
usr/drivers/e10k/e10k_phy.c | 295 +++++++
usr/drivers/e10k/e10k_qdriver.c | 557 +++++++++++++
usr/drivers/e10k/helper.c | 4 +-
usr/drivers/e10k/helper.h | 20 +
12 files changed, 1809 insertions(+), 1021 deletions(-)
create mode 100644 if/e10k.if
delete mode 100644 usr/drivers/e10k/e10k.c
create mode 100644 usr/drivers/e10k/e10k_cdriver.c
create mode 100644 usr/drivers/e10k/e10k_phy.c
create mode 100644 usr/drivers/e10k/e10k_qdriver.c
create mode 100644 usr/drivers/e10k/helper.h