replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

ARMv7: CPU driver relocations done.

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

ARMv7: Boots again following coreboot rewrite.

Signed-off-by: David Cock <david.cock@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: Place non-boot cores into WFE on entry

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

ARMv7: CPU driver reinitialised UART and prints.

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

ARMv7: First prototype of a new bootloader for simulators

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

ZYNQ: Clock tree probing.

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

ARMv7: Removed the duplicate 'sys_stack'

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

Removed redundant offset definitions.

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

ARMv7: Disable interrupts before calling arch_init()

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>

Refactored ARMv7-A code.
Cleaner startup process.
Cleaner cross-platform portability (platform.h).
Removed ARMv5.
Removed ARMv7-m
Removed XScale
Changed kernel device paging interface and fixed bugs.

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