replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

armv8: make compile

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

armv8: adding a missing LMP_FLAG_IDENTIFY flag to invocations

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

libbarrelfish,arm: add missing cap invocation wrapper for vnode_modify_flags

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

aarch64: remove incorrect assertions for invocations

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

armv8: fixing wrong assert on capability invocations (T300)

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

T274: armv8: update cspace invocations

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

T191: aarch64: fix monitor invoke_retype

Make invocation arguments match arguments for non-monitor invoke_retype and
append monitor specific argument at end rather than start.

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

T191: aarch64: implement invocations and related changes for range capabilities

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

Squashed changes of e89aa91..6ca6bdf (master as of 2016-04-18).

Take this commit out when merging

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

IRQ: ARM invocations added

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Cleanup bugs exposed by -Wtype-limits.

* Assertions in armv7/armv8 invocation stubs
* Some comparisons in lib/virtio
* Some comparisons in usb stack
* Linenoise using plain char (which may or may not be signed according
to C standard)
* A comparison in octopus

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

T187: ARMv8: do not use syscall10 for invoke_vnode_map

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

T187: Move aarch64 code to mapping caps

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

Clean merge of HP's ARMv8 code

This adds support for an ARMv8 core running in the GEM5 simulator

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

Initial AArch64/ARMv8 skeleton.

This includes enough code and definitions to generate all *.depend files for
AArch64/ARMv8 and to build a mostly empty cpu driver for the Applied Micro
X-Gene 1 (apm88xxxx) SoC.

Note: the definitions should be taken with a large grain of salt, some of them
are not updated for AArch64/ARMv8.

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