Removed if/octopus_defs.h from public header file.

Referenced in definitions.h and trigger.h.

trigger.h is problematic because it provides helper functions for
types definied in the interface. Clients that want to use trigger.h
now have to make sure to include the interface file.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

flounder: merging rpc client with a binding layer

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

flounder: making const pointers in receiving handlers, using CONST_CAST as a temporary solution in few places but finally it should be removed

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

Adjustments of IPC to match new convention (static buffers).
(Flounder) Fixing a token passing in 32-bit architectures.

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

Squashed changes of e89aa91..6ca6bdf (master as of 2016-04-18).

Take this commit out when merging

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

drivers/xeon_phi: Do not depend on if/monitor_defs.h.

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

Fixed shadowed local variables, and added missing THC include files

bugfix: xeon phi domain wait returned wrong error code.

bugfix in xeon phi domain wait: state pointer was not forwarded.

Xeon Phi Driver: sysmem manager and RPC

Adapted the functionality of the sys mem manager to deal with
reallocations.

Some changes with the RPC functionality of the interphi channel

Driver waits now for all spawnd up before signalling to the host

Xeon Phi Driver: Added trigger for full nameservice functionality.

Xeon Phi Domain registration (Nameservice)