replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

libbarrelfish: armv7: pmap: use explicit mapping cnodes for non-root vnode mappings

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

Coredata: making archid to be of type hwid_t

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

barrelfish_kpi: Use different include guards

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

ARMv7: Manual coreboot works on Pandaboard

Module that fact the UMP isn't working properly with ARM caches.

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

ARMv7: Use bytes, not bits for URPC frame.

Coreboot now makes it into spawnd on core 1.

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

ARMv7: Find and pass the GOT base to the APP core.

Locating it in the source ELF still doesn't quite work.

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

ARMv7: CPU driver relocations done.

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>

ZYNQ: We make it into init now.

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

ARMv7: a9ve boots and passes memtest again.

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: Rationalised coreboot structures.

Put the Multiboot header in the coredata struct, and allocate both in and the
globals (which now contains only the printf spinlock) in the BSP kernel's BSS.
We no longer rely on magic addresses.

Doing so exposed a latent bug, where code using the various alloc_phys()
functions were assuming that the output would be page-aligned, when that
wasn't guaranteed. Added alloc_phys_aligned to all relevant prototypes.

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

Boot driver for ARM can now boot a pandaboard core.

lots of changes to support multi-core on gem5, be aware though it's not completely working yet