replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

x86: add compiler memory barrier to rdtsc inline assembly

Debugging benchmarking code showed that the compiler would reorder some rdtsc
calls around the code they were supposed to bracket in order to do performance
measurements. This behavior is prohibited by adding "memory" in the inline
assembly statement clobber list in the functions rdtsc() and rdtscp().

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

x86: add compiler memory barrier to rdtsc inline assembly

Debugging benchmarking code showed that the compiler would reorder some rdtsc
calls around the code they were supposed to bracket in order to do performance
measurements. This behavior is prohibited by adding "memory" in the inline
assembly statement clobber list in the functions rdtsc() and rdtscp().

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

Fixup of some headers.

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

x86_64: kernel: do *not* include machine/param.h

Signed-off-by: Simon Gerber <simon.gerber@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>

T24: remove remaining SCC code

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

k1om: aliasing rdtscp with rdtsc

on the Xeon Phi rdtscp instructions are not available. using rdtsc instead.

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

Removed RCK_EMU and updated SCC tech note.

fixes to enable compilation with ICC

The primary changes are avoiding pointer arithmetic on void * types, which is
evidently a GCCism: instead a byte-sized pointer type should be used.

Other changes include workarounds to avoid uninitialised variable warnings,
and an insistence that const values have an initialiser (being static and implicitly
initialised to zero isn't sufficient).

Initial version of public stable barrelfish repository.