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>

xeon_phi: fixing timers, dispatching and stack's alignment

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

K1OM: fix build with the introduction of hwid_t

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

kernel/x1om: Fix compile errors

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

T321: k1om: fix creating RAM caps

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

T321: kernel: non power-of-2 sized capabilities remove need for aligning memory.

Remove bandaid fix for running out of slots in super cnode as we can now
create non-power-of-2 sized caps. Closes trac(!) ticket #253.

Closes T321.

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

T258: Delete GPT cspace functionality and rename new functions

This commit deletes all the old GPT cnode code, and renames the new two-level
functions to the "old" names (e.g. caps_lookup_slot() is now a two-level
cspace function).

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

kernel: k1om: Update spawn_* functions to match new signature

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

T191: xeon_phi: Update driver to use new API and minor fixes in driver

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

Xeon Phi boot: getting rid of the single boot image and dependencies

Adapting the boot protocol of the Xeon Phi cards to dynamically
load the individual modules at run time rather than compile time.

The following sources can be used to load the modules
- in ramfs of host machine
- from a TFTP server (using the --tftp flag)
- from NFS (using the --nfs flag)

The modules to be loaded are specified in a supplied menu.lst file.
The parameter --modlist can be used to specify that file.

The boot driver will handle the generation of the needed data structures
and headers when the card boots.

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

k1om kernel: adapting the changes of the x86_64 in init and startup arch

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

coreboot on the Xeon Phi:
added creating of the realmode segment capability in Kernel
added corectrl to the domains to be spawned by monitor on the Xeon Phi
adapted coreboot to use the predefined capability in taskcn/coreboot
slot.
added switch cases for the K1OM architecture in corectrl.

Cleanup of Xeon Phi Kernel:

Merged duplicated code from k1om architecture with the X86_64 architecture.
No-longer files in arch/k1om have been deleted.

adapted the K1OM boot to hand over the message frame size to xeon phi.

Added: setting of the xeon phi id when booting in kernel

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

Multicore support for the Xeon Phi

- Adapted the xapic.dev to account for the special register layout in
icr and id register
- added switches to use alternative register layout in apic.c
- added APIC and FLASH memoryhole in mmap
- Bugfix: Wrong CPU information (cpu_arch.h)
- Added: delay_ms assembly that stalls the CPU some time (needed for
booting the cores)
- Some fixes with memory offsets in startu parch
- Added: support for pagetables that map MMIO range of the xeon phi in
init_ap.S
- Added Delays in start_aps
- Adpted offset in entry.S fo match for the new layout
- Removed Global Flag for the valid page table bits
- Disabled activation of MMX

Added architecture specific switches to the kernel files.

Added: initial version of new xeon phi loader

Added: Linux boot param structure for getting the information from the boot loader Added: K1OM specific offsets and files Removed: Unsupported assembly instructions from the code Changed hake gcc to k1om-mpps-linux-gcc Added auto upload to babybel when building target k1om

Added: Added Arch Specific Folders in libbarrelfish / barrelfish-kpi / kernel based on the x86_64 implementations.