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>

arms: unifying interrupts, timers and platform data

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

armv8: generalizing the interrupt controller

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

kernel: Factor common constants for init on armv7 and armv8

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

T243: Fix armv7 paging code and caps_retype() to properly create ARMv7 vnodes

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

Zynq7: Added empty kaluga platform.

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

ARMv7: Rewrote serial drivers on ARM.

They're now fairly well compartmentalised on both ARM and x86, and can start
automatically from Kaluga. There's also a 'kernel' serial driver, which uses
the syscall interface to read and write on the kernel console. This avoids
having user level and kernel code racing on access to the UART. Fish works
(minus line editing) on all Versatile Express platforms.

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

T272: armv7: implement two-level cspace layout

Closes T272.

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

armv7: make compile on Ubuntu 14.04 (GCC 4.8.2)

* add __attribute__((noreturn)) for stuff in kernel/armv7 that calls panic().
* add missing return statement in lib/multiboot.
* Update README with needed freebsd-glue and libelf-freebsd-dev packages for
arm_boot
* cleanup format strings in arm_boot/arm_bootimage.c
* fix compileNativeC to put linker flags after source file in
hake/RuleDefs.hs

Signed-off-by: Simon Gerber <simon.gerber@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: Separated pre-MMU init code

The ARMv7 initialisation is now divided strictly into a pre-MMU phase and a
post-MMU phase, with the jump to arch_init_2 being a calculated long jump.
This doesn't make much difference on the Pandaboard and other platforms with
RAM at 0x80000000, but it makes it possible to support other RAM locations
with little or no change to the code. This will be necessary for the Zynq.

There's a little assorted cleanup included in this patch, of the MMU init
code.

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

ARMv7: Enforce word-alignment for allocation.

There's no guarantee that unaligned accesses are allowed when the kernel
boots, and the FVP simulator actually checks this.

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>

ARMv7: Switched GOT to r9 to match ARM PCS

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

ARMv7: Switched to ARMv7+ TLS registers.

This frees up r9 for both kernel and user code.

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

ARMv7: Set ContextID

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

Rationalised the ARM Platform code.

We now have separate targets for the GEM5 VE and FVP VE, as the GEM5 version
actually simulates an A15, and has a few quirks. The FVP VE and Pandaboard
targets share most of their code. Thus we've got three ARMv7-A targets now,
and it should be easy to add more, as soon as we've got the simulators.

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