replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

elf: adding ELF64_Rel struct definition

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

ARMv7: CPU driver relocations done.

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

Remove <nodeputy.h> from default flags

Summary:
Deputy annotations [1] can be used to label safety properties. They are
used extensively in the kernel, but in user-space there is only one use.
The macros have short names (like 'COUNT', 'SAFE') which can conflict
when building other applications. Furthermore, these are not being
checked and are just stripped during the build.

Note: the change to <kernel.h> is needed because it is included from a
generated file:
build-x86_64/capabilities/cap_predicates.c

[1] http://ivy.cs.berkeley.edu/ivywiki/uploads/deputy-manual.html

Test Plan: `make clean && make` was successful

Differential Revision: https://code.systems.ethz.ch/D6

spawn: added handling of spawn flags

Added a spawnflags parameter to the command line and forwarding of
spawnflags to spawnd

Added a spawn flag SPAWN_FLAGS_OMP for parsing openMP functions.

libelf: added a function to count the number of symbols matching a given
name.

libelf: added functions to find symbol by name and address, and looking
up symbol names.

libelf: Adding the GNU/Linux distinction in libelf.

C++ programs are compiled with gnu/linux not with system V. So we also
have to allow this type of binary to allow loading of C++ programs.

libcxx: exception handling

added missing code to enable exception handling of C++ programs on
barrelfish:

+ adding .eh_frame and .eh_frame_hdr section information to the
dispatcher when the new domain is spawned.

+ adding two new functions to obtain the eh_frame and eh_frame_hdr
information from userspace (used by libcxx for exception handling)

Added: K1OM machine number

headers: wrap declarations in extern "C".

Note: this change is not exhaustive and only touches some headers in //include

large part of arm gem5 port rewritten, now support multiboot bootloader and dynamic kernel relocation, added a loader for gem5 to mimick a multiboot bootloader

Initial version of public stable barrelfish repository.