replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

Fix kernel struct dispatcher_shared_arm include in exceptions.h

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

ARMv7: Changes to support coreboot on ARM

This mostly involves simplifying the task of relocating the CPU driver binary.

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

ARMv7: Exception vectors in a simple jump table.

The old scheme was complex and opaque, and not really needed. We've now got
our exception vectors in a compiled jump table, that's mapped into place.

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

Correctly handle wfi interrupts in the kernel.

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

Documentation, and cleaner dispatcher mode tracking code. Still bug with yield.

Signed-off-by: Timothy Roscoe <troscoe@inf.ethz.ch>

Renamed arm_gem5 to armv7.

TODO:
* Figure out if the __GEM5__ define actually refers to gem5 or just to ARMv7.