replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

xeon_phi: fixing timers, dispatching and stack's alignment

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

systime: reverting to a RTC-based calibration on x86

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

kernel/x1om: Fix compile errors

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

systime: complete remove of kernel_now from x86_64

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>

T24: remove remaining SCC code

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

Do tscperms calculations only once.

Saves the 100 ms per core-boot for measuring the exact tick rate.
We assume here that all APIC timer frequencies are the same in a system.

Added architecture specific switches to the kernel files.

newlib,x86_32: use PRI{u,x}32, PRI{u,x}PTR, etc in format strings

Again this is needed because newlib defines uint32_t as unsigned long.
(In retrospect, I should just changed newlib's uint32_t to unsigned int)

Checkpoint:
compiles and boots qemu for x86-{32,64}-{newlib,freec}
Also, a couple of tests on real hardware (x86_64 only) work

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.