replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

dispatcher: remove DISPATCHER_FRAME_BITS, and redefine DISPATCHER_FRAME_SIZE as 512kB.

This is necessary with the new contents struct dispatcher_<arch> when
using array-based pmap on larger machines, as we otherwise run out of
room for LMP channel receive buffers in the SKB.

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

kernel: Use common app_alloc_phys and bsp_alloc_phys on all archs

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@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>

T24: remove remaining SCC code

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

Closes T154: pmap, kernel: Add support for write-combining on ia32/64

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

separating apic init and signalling boot core ready

Moved BIOS mmap cleanup to shared x86 code. Call from both x86_64 and x86_32 startup code.

Initial version of public stable barrelfish repository.