Adding some initializations

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

Always use frame_identify() instead of raw invocation

Signed-off-by: Simon Gerber <simon.gerber@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>

Cleanup bugs exposed by -Wtype-limits.

* Assertions in armv7/armv8 invocation stubs
* Some comparisons in lib/virtio
* Some comparisons in usb stack
* Linenoise using plain char (which may or may not be signed according
to C standard)
* A comparison in octopus

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

T191: x86_64: frame_identify returns size in bytes

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

VirtIO and Benchmark: vrings are now working revides the buffer management to be able to issue header buffer addapted the vblock driver to deal with header buffers

Benchmark
adapted the xeon_phi_test to an early version of the benchmark test

Virtio Implementation: Handling of VirtQueue enq/deq

Big refactoring of libvirtio

use of the same structs with small differences on host and guest side.

VirtIO: Adapted the device initialization process to make it work.

- Changes in the notification protocol between host and guest
- Addition of information to serve the device intitalization (host side)
- introduced a yield when waiting for the ready bit.
- device specific setup is now handled during device_open

VirtIO

- Addition of block device specific files in the VirtIO Library
- Changes to the block devices Mackerel specification
- Implementation of dequeue / enqueue of Virtqueues

Bugfixes Xeon Phi Driver startup - removed check for boot info - added initialization of vfs - added core offset when starting the second xeon phi driver - changed menu.lst.k1om to boot on multiple cores instead on threads.

VirtIO
added buffer allocation and buffer management functions
added handling of buffer lists for enqueuing into descriptor ring
additional error numbers for VirtIO

Refactoring of libvirtio

Renaming and merging of some files in libvirtio.

VirtIO and Xeon Phi Messaging

Added a new message type for the xeon phi messaging subsystem to handle
addition of new ring buffer descriptors.

Extended the implementation of VirtIO. Refactoring of the internal and
external headers to match data encapsulation.

Some initial implementations of VirtIO - libvirtio - driver stubs