replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

Comments in the scheduler interface, from code walkthrough.

Signed-off-by: David Cock <david.cock@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>

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 kernel_now to kcb and fixed restoring of scheduler state.

Initial version of public stable barrelfish repository.