build: Introduce consistent naming scheme for compile/configure targets

This will help in refactoring the target recipes.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Introduce a pattern rule for configuration targets

Signed-off-by: Diego Biurrun <diego@biurrun.de>
Fixed compilation errors on Mac 10.8
Fix some trivial typos.
build: Reorder tools dependencies for correct build ordering.

The tools-configure target requires a completed llvm build.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Remove some duplicate order-only prerequisites on the stamps dir

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Refactor duplicated stp dependency declaration on CLANG_CXX

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Remove llvm-instr-asan from list of directories to generate

The corresponding rule was deleted some time ago.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Introduce consistent naming scheme for asan compile targets

This will help in refactoring the target recipes.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Refactor list of QEMU directories into a variable

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Split klee debug and release targets

This will help in refactoring the target recipes and allows
building KLEE with different options in the same build tree.

It also makes sure that the right CXXFLAGS are passed to debug
KLEE builds.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Refactor order-only configure directory dependency with a pattern

Signed-off-by: Diego Biurrun <diego@biurrun.de>
s2e-block: S2E VM image format

It is identical to the RAW format, except that the image is read-only.
Snapshots are saved in a separate file.

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
qemu: exec.c: Must support more than one bounce buffer for block devices

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
dma-helpers: fail loudly if a mapping error occurs in a block operation.

QEMU doesn't seem to handle such failures gracefully, resulting
in a failed transfer and disk corruptions in the guest.

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
raw-posix: removed S2E instrumentation

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
docs: how to use the new S2E VM image format

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
s2e-block: complain loudly if trying to open a non-S2E image in S2E mode

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
vl.c: quit if snapshot can't be loaded

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
apply platches to support usb live migration
http://www.mail-archive.com/qemu-devel@nongnu.org/msg115994.html