replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

Early cnode allocation: only provide 64 16kB RAM caps per domain for early cnode allocator

This allows us to decrease CORE_DATA_PAGES to 1100 (from 2200), because
we don't need to allocate as many 16kB regions for the monitor on each
core.

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

T384: x86_64: change shadow page tables to have dedicated cnodes for mapping caps

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

Coredata: making archid to be of type hwid_t

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

barrelfish_kpi: Use different include guards

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

T24: remove remaining SCC code

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

Construct a kcb in x86boot.

Pass it along with the rest of coredata in the kernel.
We currently push the kcb in octopus to make sure have a reference to the cap
during multiple invocations of x86boot. Maybe it would be cleaner if kaluga
constructs the kcb caps and passes it on to x86boot.

Construct kernel control blocks in x86boot.

Store them in the coredata struct that is passed along to the new kernel.
We should really move all coredata state in the kcb and pass the kcb
to the kernel instead of the other way around.

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.

Added K1OM architecture specific extensions that pass certain caps / values to the Xeon Phi manager (card side)

- Passing of cap for the MMIO space and the System Memory range
- passing of base address for the host messaging listener
- Removed IO cap

Increased core pages for x86. Not yet sure what changes make this necessary as
booting cores with the old value failed after the merge...

Initial version of public stable barrelfish repository.