replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

T82: checkpoint. Guest domain up. Need to implement hypervisor service.

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

fpu: unifing the fpu's context switching
x86_64: fixing the stack's alignment

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

fpu: unifing the fpu's context switching
x86_64: fixing the stack's alignment

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

systime: introducing system time based on time stamp counter/global timer, removing kernel_now

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

network: replacing the continuation manager with simple queues
e1000: small performance tweaks

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

New ARMv8 vectors mostly work.

Still crashing on MDB code - something's corrupted.

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

kernel: do not drop RAM caps

When deleting last copy of a RAM-derived cap without going through the monitor
it is possible that the monitor endpoint is already occupied. If that's the
case we used to just leak the reclaimed RAM cap. This patch changes the
behaviour in that case to return SYS_ERR_RETRY_THROUGH_MONITOR which then
provides a free slot to put the freshly created RAM cap.

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

Added code to make it possible to switch between kernels with different schedulers.

This currently works by having the 'up' argument to x86boot optionally have
the form 'up=<scheduler strategy>', e.g. 'up=rbed'. Currently you need to
build each version of the cpu driver by hand, and copy the resulting binary to
'cpu_<scheduler strategy>'. You also need to add multiboot modules for each
of these (module /x86_64/sbin/cpu_rbed nospawn).

Added more scheduler state to kcb.

Completed implementation of "give away" cap support.

New tracing infrastructure

This is a Distributed Systems Lab project by
Alexander Grest <agrest@student.ethz.ch> and David Stolz <stolzda@ethz.ch>

remove support for Beehive

see the mailing list discussion at the end of December 2011 for motivation

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.