xeon phi: init networking in driver domain to avoid redundancy

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

xeon phi: correctly polling different xeon phis

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

xeon_phi: connect to the skb when the domain is started

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

xeonphi: poll all cards that are present

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

xeonphi: implement some RPCs for the paper

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

xeon phi: initialization with the driver framework

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

xeonphi: towards driver framework

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

Xeon Phi: fixing race condition when booting two cards simultaneously.

Signed-off-by: Reto Achermann <reto.achermann@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>

Xeon Phi: adding functionality to suppress dma initialization

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

removed waitfor all_spawnd_up in xeon phi driver

added waiting for all_spawnd_up event

xeon_phi driver: increased poll count for the serial.

Xeon Phi Driver: introduced new event polling function.

Xeon Phi Image Generation

Added new make targets for the Xeon Phi image generation
Support of NFS Xeon Phi image loading

Xeon Phi Library: bugfixes and waiting for ready

Some bugfixes in the nameservice registartion (too small buffers)
Xeon Phi Client: introduced an online check before sending the
spawn/open requests

Adapted the Xeon Phi host driver to add the respective entries to the
name service.

Xeon Phi Driver: Added trigger for full nameservice functionality.

Xeon Phi Driver: switched to the new Xeon Phi Client, added open call to interphi interface.

Xeon Phi Driver: adapted the initialization to make use of the flounder interface for intra phi messaging.

Adapted the Xeon Phi driver to make use of the DMA driver library

Cleanup of the Xeon Phi driver main file.

Bugfixes in the DMA driver of the Xeon Phi.

Xeon Phi Driver: Offsets and SMPT Altered the SMPT to deal with offsets Added new callbacks to the card_main

Adapted the Xeon Phi driver to deal with Inter Xeon Phi communication

- New Message Type over the Card-Host channel
- Registration of base addresses and setting of the SMTP entries
- Initialization of multiple messaging frames

Bugfix: Xeon Phi ID

Moved the xeon phi id to another part of the struct to make it work.
Removed ifdefed out code form xeon phi driver.

Xeon Phi Driver: Renaming and handling of IDs

Renamed xeon_phi.h to xeon_phi_internal.h
SMTP: reserved the top 8 entries for Xeon Phi mappings
added functions to set the mappings based on the ID

Service: the service exchanges now the base addresses of the cards
bugfix when waiting for the reply.

Interfaces: Renamed xeon_phi.if to xeon_phi_driver.if