skb: remove old eclipseclp

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>

libpcre: Masked uninitialised variable warning.

libpcre is spaghetti code, and I don't trust it at all.  Still, this warning
was *probably* spurious.

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

Merge GitHub PR1.

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

harness: run angler with termtype "dumb" for interactive tests: this …

…disables fancy linenoise functionality

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

First part of cleanup of ARMv7 code; booting on GEM5 and Pandaboards

Signed-off-by: Timothy Roscoe <troscoe@inf.ethz.ch>

monitor: replace cap_destroy() in identify_cap() rpc with capops_dele…

…te()

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

Removed reference to SCC docs.

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

VT-d: basic support for multiple units per segment. closes T157.

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

Squashed a bug in paging code from the ARMv8 branch.

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

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

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