xeonphi: explicit passing of state and implemntation of memalloc rpc sevice

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

xeonphi: prepare to setup up the iomu

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

libc: removing newlib, adding BSD libc
posixcompat: moving gettimeofday to libc
harness: adding a simple math test
lwip, lwip2: moving includes to /include, compiling with BSD headers

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

Adding some initializations

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

Move canonical definitions of MIN/MAX macros to bitmacros.h, remove duplicated definitions in lib and usr

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

ARMv7: Rationalised coreboot structures.

Put the Multiboot header in the coredata struct, and allocate both in and the
globals (which now contains only the printf spinlock) in the BSP kernel's BSS.
We no longer rely on magic addresses.

Doing so exposed a latent bug, where code using the various alloc_phys()
functions were assuming that the output would be page-aligned, when that
wasn't guaranteed. Added alloc_phys_aligned to all relevant prototypes.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

xeon phi: adding more debug printfs to the driver

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

fixing debug printf in xeon phi boot

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 driver: moved serial initialization to device initialization
phase

Xeon Phi Image Generation

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

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

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

Xeon Phi Bootloader and DMA

Bugfix in the Xeon Phi bootloader. It was overwriting its own memory
when the multiboot image size was too big.

First working implementation of the DMA code in the xeon phi driver.

Bugfix in bootloader and DMA functionality

Bugfix: endless loop in xeon phi boot procedure

DMA: added implementations for polling and creating memcopy requests

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

Xeon Phi boot process:

switched from the bootmodules to the vfs way in oder to be able to start
the driver on other cores than BSP.

Revised the initialization process of the xeon phi to avoid mapping the entire aperture.

Introduces cap manager also for the aperture memory to serve the msg
OPEN commands.

bugfixes

Addition of a card-side Xeon Phi Manager

Adapted xeon phi boot params and passing of cmd lines.

Patches b03c1b through 3f00b5

Cleanup

Cleanup of boot messages in the xeon phi driver module.

Changed the message handling of the xeon phi driver.

Added bootcodes to the xeon phi boot protocol

Added some bug fixes to the Xeon Phi Driver

Some additonal debug prints in the xeon phi driver

Some bugfixes in the register definitons of the Xeon Phi.

Added: waiting for host notify when booting the card.

Added: Postcodes to the Xeon Phi Boot device

Xeon Phi Host Driver

- Initialization of the PCI device
- Interrupt enable/disable
- SMPT management
- Reset sequence
- Diverse additions to the mackerel device specification

Removed some of the earlier printfs.

Some bugfixes in the xeon phi host driver to make it run on QEMU.

Xeon Phi Host Side Driver

+ Getting access to multiboot modules
+ Extended the xeon phi device register specification with some values
+

Hake
+ Added the host driver and the host modules to menu list

Removed old KNC devices Added: Xeon Phi Boot Devices Added: Xeon Phi host driver Fixed: compilation issue with serial Adapted: use of mackerel for xeon phi serial driver.