On Wed, Feb 26, 2020 at 05:12 PM, Laszlo Ersek wrote:
Supersedes: <20200223172537.28464-1-lersek@redhat.com>
Bugzilla: https://bugzilla.tianocore.org/show_bug.cgi?id=1512
Repo: https://github.com/lersek/edk2.git
Branch: vcpu_hotplug_smm_bz_1512_v2

V1 was posted at:

* [edk2-devel] [PATCH 00/16]
OvmfPkg: support VCPU hotplug with -D SMM_REQUIRE

https://edk2.groups.io/g/devel/message/54734
http://mid.mail-archive.com/20200223172537.28464-1-lersek@redhat.com

Tested-by: Boris Ostrovsky <boris.ostrovsky@oracle.com>