x86_64: make all targets compile

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>

dispatcher: remove DISPATCHER_FRAME_BITS, and redefine DISPATCHER_FRAME_SIZE as 512kB.

This is necessary with the new contents struct dispatcher_<arch> when
using array-based pmap on larger machines, as we otherwise run out of
room for LMP channel receive buffers in the SKB.

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

fpu: unifing the fpu's context switching
x86_64: fixing the stack's alignment

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

fpu: unifing the fpu's context switching
x86_64: fixing the stack's alignment

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>

Multi-threaded waitsets, tokens added to IPC messages.

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

kernel/kpi: using PRIuGENSIZE in print statements

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

kernel: dump_dispatcher: don't print dispatcher name in first line

Instead fix name printing to never print more than 16 characters
(DISP_NAME_LEN).

This reverts commit ba29ca79f6d55d55a18e92cfc8b1fbfac7de0835.

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

kernel: dump_dispatcher: print dispatcher name

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

Refactored ARMv7-A code.
Cleaner startup process.
Cleaner cross-platform portability (platform.h).
Removed ARMv5.
Removed ARMv7-m
Removed XScale
Changed kernel device paging interface and fixed bugs.

Signed-off-by: Timothy Roscoe <troscoe@inf.ethz.ch>

Added current core_id so we can properly reroute interrupts after moving kcb.

Kernel: Added a new field to the dispatcher struct for K1OM architecutre

Addition of xeon_phi_id information to the dispatcher generic struct
Adding of a new function to obtain this structure
Adding of new fields to multiboot and coredata structures
(xeon_phi_info)
Adapted lib spawndomain to forward the own xeon phi id when spawning
kernel: shows message on which Xeon Phi we are running on.

Initial version of public stable barrelfish repository.