replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

arms: unifying interrupts, timers and platform data

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

ARM: move the *_map.h files into /include/maps/

Signed-off-by: Reto Achermann <reto.achermann@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: Factored boot protocol out of plat_vexpress

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

ARMv7: Added arch-specific platform info.

Certain things, such as the number of CPUs, can only be probed easily (or at
all), in the kernel.

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

OMAP44xx: Bumped Pandaboard clock to 600MHz.

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

ARMv7: All existing platforms boot again

We're going to have to do something about usbboot though, it *really* wants to
jump at the beginning of the loaded image+0x1000, which is really hard to
achieve without buggering up alignments.

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>

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: Moved MMU initialisation into C

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

OMAP: Complete dynamic clock frequency probing.

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

ARMv7: pruned unused devices from OMAP

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

omap44xx: do not use `div` as variable name

div() is defined in stdlib.h for integer division.

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

OMAP44xx: Clock frequency discovery.

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

T255: kernel cap invocation and monitor RPC to discover architecture and platform.

Closes T255.

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

Moved ARMv7 platform quirks to kernel arguments

This lets us ditch two trivial platform files (plat_fvp and plat_gem5).

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>

It helps to initialize your spinlocks

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>