replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

armv7: fixing VFP support

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

armv7: save vfp context (at least part of it)

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

armv7: moving do_resume from the general arm part (which didn't work for armv8 anyway) to the armv7 section

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

ARMv7: Always load SP via the GOT.

This eliminates sharing of the pointer between cores.

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: Use TPIDRPRW to hold the kernel GOT base.

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: Boot image now includes CPU driver

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

ARMv7: Simplified jump table

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>

ARMv7: Exception vectors in a simple jump table.

The old scheme was complex and opaque, and not really needed. We've now got
our exception vectors in a compiled jump table, that's mapped into place.

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

Debug output for IRQs in kernel mode.

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

Correctly handle wfi interrupts in the kernel.

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

Retabbed exceptions.S

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>

partially revert ARMv7 SVC commit

This partially reverts commit 'make ARMv7 cpu driver run in SVC mode'
(0d0727072557f24bd66686e37dc8ddbda328cf15) because it does not boot on
GEM5.

Make ARMv7 cpu driver run in SVC mode

From https://lists.inf.ethz.ch/pipermail/barrelfish-users/2013-July/001092.html

armv7: align exception stack with 8 bytes

Here I propose a small patch which adjust arm exception stacks.

You can try 'printf("0x%016llx", 0x12345678ULL)' in undef handler. ARM abi
require stack be 8 bytes aligned, but original code setups 4 bytes gaps
between 2 stacks, makes irq_stack and undef_stack misaligned.

reference: http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.faqs/ka4127.html

Renamed arm_gem5 to armv7.

TODO:
* Figure out if the __GEM5__ define actually refers to gem5 or just to ARMv7.