Upgrade to QEMU 11

6 views

Skip to first unread message

Vitaly Chipounov

unread,

May 10, 2026, 12:43:45 PM (yesterday) May 10

to S2E Developer Forum

Dear all,

I upgraded S2E to use the latest QEMU 11.0. In addition to rebuilding S2E, you will also need to rebuild guest images, as the snapshots from QEMU 3.0 are not compatible with the new version. You will also have to adjust the path and command line for QEMU [1] in existing projects. I recommend that you create a new environment with new projects from scratch if possible.

Note that the core engine (libs2e) is still based on the emulation code from QEMU 1.0. I hope to get to upgrade it soon.

Let me know if you have any questions.

Vitaly

[1] https://github.com/S2E/s2e-env/commit/39881c0698e932f135263cddd0d42acc38a76f0d

Reply all

Reply to author

Forward

0 new messages