replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

libnfs: rpc: make retransmit spam RPC_DEBUGP

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

nfs: reduced time until retransmit

When there is a UPD/TCP checksum error the time it takes
until this is noticed by the NFS RPC layer is very long
resulting low performance

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

net_sockets: some TCP fixups

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

net_sockets: e1000 server

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

net: converting lwip types to bsd types

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

net_sockets: converting nfs

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

net: splitting contmng and netbench libraries, simplyfing dependencies

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

NFS loads something now but its slow.

Fixed compilation related issues. Now the code compiles on most of the
architectures

Network stack is fixed now.
HTTPERF is working on both LMP and UMP communication channels.

Webserver working for small websites

Partially working version of the modified network stack.
Status: Networking works
Small website test works (Barrelfish website without pdfs)
Full website test does not work (Barrelfish website with pdfs)
Tests done with e1000n running on separate core

partially working version when everything is running on default core.
The current execution is **very** slow as everything is in the same core,
leading to large number of context switches.

Disabled the debug output.
Removed unused files from netd
Renamed few files with little more sensible names

--HG--
rename : lib/net_device_manager/soft_filt_user_impl.c => lib/net_device_manager/soft_filt_cl_impl.c
rename : lib/net_queue_manager/net_soft_filters_cl_impl.c => lib/net_queue_manager/net_soft_filters_srv_impl.c

newlib,x86_32: use PRI{u,x}32, PRI{u,x}PTR, etc in format strings

Again this is needed because newlib defines uint32_t as unsigned long.
(In retrospect, I should just changed newlib's uint32_t to unsigned int)

Checkpoint:
compiles and boots qemu for x86-{32,64}-{newlib,freec}
Also, a couple of tests on real hardware (x86_64 only) work

Reduced the RPC timeout period

Fixed the issues with nfs benchmarking code in net_throughput
Currently getting around 50MB/s speed for NFS read

Fixed the issue with loading large files over NFS.
The problem was mainly due to the way notifications from the driver were
handled by the application. Now, every notification from driver triggers
both handle_tx_done and handle_incoming_packets.

The NFS is still slow, but most probably due to the use of inefficient pbuf
type PBUF_RAM

Fixed some compilation problems and modified the use of functions
inside asserts as asserts are not compiled in production level deployments
(harness deployments)

Removed most of the debugging code which was breaking the compilation for arm

Webserver is working with new bulk transport with exception of warning
of Unknown XID dropped

removed rpc retransmit debug prints

Removed some debug

Commented the RPC retranmission ondemand-debug-support code. Added more information in the debug prints.

Moved debug flag of rpc to Config.hs.

* Added compile trace replayer
* Disabled fixes to bcache locking
* Fixed hashtable to use const void instead of just void
* Made fopen buffer even bigger to preserve close-to-open semantics
for larger files.
* Worked around SCC bootup race (channel teardown NYI)

Fixed the bug in the continuation management code

Applying the diff with my tree as patch

Adding a new interface to support virtual nics
Also some boilerplate code is added there.
But still lot more code needs to be written before these
v_nics can be used.

changes done to debug the retransmits

Applied the patch to rebase my changes on new barrelfish tree

Merge from ASPLOS tree.

Initial version of public stable barrelfish repository.