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>