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>

systime: introducing system time based on time stamp counter/global timer, removing kernel_now

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

kernel: Unify kernel logging infrastructure

Previously, it was part of the infamous misc.c file found in arch-specific
code.

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

T291: kernel: include bitmacros.h in kernel.h

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

T258: Cleanup kernel virtual to ELF address translation

Provide generic interface for kernel-virtual to ELF address translation which
-an be implemented per architecture.

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

T191: change PhysAddr, RAM, Frame, DevFrame and VNode_* cap types to have size in bytes

This only changes the actual struct capability reprensentation for these
types. Most of the code dealing with these types now uses log2ceil(bits) to
set the new `bytes` field.

Signed-off-by: Simon Gerber <simon.gerber@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

Remove kernel boot-time benchmark code.

Fix some code, able to do benchmarks.

Remove old beehive message passing reference.

New tracing infrastructure

This is a Distributed Systems Lab project by
Alexander Grest <agrest@student.ethz.ch> and David Stolz <stolzda@ethz.ch>

remove support for Beehive

see the mailing list discussion at the end of December 2011 for motivation

clean up and add some flexbility to mapping of APIC IDs and core IDs

* introduced kernel boot parameter to control the core ID for the BSP
(on x86, where it was always zero)
* introduced spawnd parameter to allow all core IDs to start from an offset
(I'm using this for boot on MIC)
* added monitor API to query the local core's APIC ID (some drivers might need it)
* fixed some kernel paths that were needlessly reading the APIC ID out of the
APIC all the time

add support for one-shot timers

- Only for x86_64, and disabled by default using a config variable
- changes in existing code are guarded by #ifdefs

Initial version of public stable barrelfish repository.