replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

Removing the unnecessary syscall GET_ABS_TIME from x86_64

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

Removing the unnecessary syscall GET_ABS_TIME from x86_64

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>

ARMv7: Rewrote serial drivers on ARM.

They're now fairly well compartmentalised on both ARM and x86, and can start
automatically from Kaluga. There's also a 'kernel' serial driver, which uses
the syscall interface to read and write on the kernel console. This avoids
having user level and kernel code racing on access to the UART. Fish works
(minus line editing) on all Versatile Express platforms.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

syscall: clarify unit of system clock in comment

Signed-off-by: Zaheer Chothia <zchothia@inf.ethz.ch>

T119: kernel: Implement cap invocation for arm, x86_32

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

T119: kernel, spawn, libbarrelfish, fish: Remove DEBUG_PRINT_CAPABILITIES syscall. Use capinvoke from fish instead. Improve output formatting.

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

T119: implement syscall and monitor interface to debug_print_capabilities

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

Add get_absolute_time() syscall + implement std::chrono::steady_clock::now() using it.

This addresses T64. Needs revising and more work to make it available on
architectures other than x86_64.

This may not quite satisfy the requirements mandated for
std::chrono::steady_clock, but is good enough to make steady_clock workable
for code that needs to work with millisecond precision durations.

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

Added moving kcb off shared cpu driver, currently crashes in newly started kernel on target core.

sys_suspend addition compiles.

headers: wrap declarations in extern "C".

Note: this change is not exhaustive and only touches some headers in //include

Replaced caddr_t type with capaddr_t to avoid conflict with libc

for i in $(find . -type f)
do
grep -r caddr_t $i
if [ $? -eq 0 ]
then
sed 's/caddr_t/capaddr_t/g' $i > $i.sed
mv $i.sed $i
fi
done

Initial version of public stable barrelfish repository.