fix uses of cycles_t throughout the tree

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

replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

Kaluga: Make unified irq src caps work on armv7

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

IRQ: Add range to IRQSrc cap

To prepare for MSIx, we change the IRQSrc cap so that it does not
represent a single interrupt source but a whole range. This commit
changes it to a range.

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

IRQ: Fixes for armv7/pandaboard

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

armv7: fix syscall to get the ticks per ms.

fixes commit 4787e75a4f4d

sys_debug_get_tsc_per_ms() is used throughout the entire
Barrelfish source tree.

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

libbarrelfish/armv7: adding missing debug syscall.

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

T118: libbarrelfish: Refactor architecture specific debug syscalls. Move common debug syscalls to top level sys_debug.c

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

armv7: compiles.

Added basic support for the Cortex A9 Global Timer

The Cortex A9 global timer is a 64-bit incrementing counter, which
is memory mapped in the private memory region. Thus, the code for
the timer is currently all in the CPU driver.

To read out the timer in userspace, two system calls are needed,
one for the lower and and one for the upper half of the counter.
The following helper function is provided to correctly read out
the timer value in two 32 bit reads as suggested in the ARM TRM:

errval_t sys_debug_hardware_global_timer_read(uint64_t *ret)

Initial version of public stable barrelfish repository.