Hello QEMU/KVM folks I’m hitting a racy SMP boot issue with edk2/OVMF secure boot. It is caused by the race when SIPI is issued while CPU is in SMM. For details, please refer to the edk2/OVMF bugzilla ticket: https://bugzilla.tianocore.org/show_bug.cgi?id=4132 I’d like to know whether there is anything we can improve from QEMU/KVM perspective. Appreciate your insights and comments. Thanks Eiichi
