Skip to content

Added support for QEMU 10.2#117

Open
vitalych wants to merge 20 commits intomasterfrom
issue/qemu-10.2-tmp
Open

Added support for QEMU 10.2#117
vitalych wants to merge 20 commits intomasterfrom
issue/qemu-10.2-tmp

Conversation

@vitalych
Copy link
Copy Markdown
Member

@vitalych vitalych commented Apr 11, 2026

This PR adds virtual APIC support required for QEMU 10.2. This version does not support APIC emulation anymore and requires the kernel to handle it. S2E must therefore emulate it itself. QEMU must now be started with -accel accel=kvm,kernel-irqchip=split instead of --enable-kvm. The latter requres full IRQ chip emulation, whereas split mode only requires APIC emulation.

vitalych added 20 commits March 29, 2026 17:14
Signed-off-by: Vitaly Chipounov <[email protected]>
Signed-off-by: Vitaly Chipounov <[email protected]>
Signed-off-by: Vitaly Chipounov <[email protected]>
Signed-off-by: Vitaly Chipounov <[email protected]>
Signed-off-by: Vitaly Chipounov <[email protected]>
Signed-off-by: Vitaly Chipounov <[email protected]>
Signed-off-by: Vitaly Chipounov <[email protected]>
Signed-off-by: Vitaly Chipounov <[email protected]>
These are required for qemu 10.2 to start.

Signed-off-by: Vitaly Chipounov <[email protected]>
Instead of libs2e pushing them to libcpu, libcpu now
pulls them with a special api.

Signed-off-by: Vitaly Chipounov <[email protected]>
Signed-off-by: Vitaly Chipounov <[email protected]>
This avoids synchronizing apic accesses.

Signed-off-by: Vitaly Chipounov <[email protected]>
Signed-off-by: Vitaly Chipounov <[email protected]>
Signed-off-by: Vitaly Chipounov <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant