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
Added Intel vendor id for core2duo cpu.
Make snapshots compatible between DBT and KVM
Hack to resume KVM snapshots in DBT mode.
Proper segment address computation in compatibility mode
op_helper: removed check that causes crashes under some conditions

Crashes when resuming a KVM snapshot in DBT mode. Removing the check
does not appear to have adverse side effects.

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
exec: dynamically allocate bounce buffers

Previously used a fixed static number of such buffers, which
may not be enough sometimes.

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
doc: added experimental support for KVM snapshots

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
docs: expanded limitations and made some tweaks to the KVM doc

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
klee: concretize condition in switch statements.

These only happen in QEMU LLVM bitcode, not sure how
to deal with them for now. Happen not very frequently.

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
build: Change native clang build to a normal stamps target

This will help in refactoring the target recipes.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Compile debug and release llvm and tools in separate directories

This will help refactor the target recipes.

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

Signed-off-by: Diego Biurrun <diego@biurrun.de>