Hi, > It's a bit more complicated than setting it at build time, but we can > always ask Xen how many vcpu we have and set the PCD accordingly. This > is something that can happen in OvmfPkg/XenPlatformPei module.
Exactly. > But to be honest, I don't know if it's worth it, because I don't know the > downside of having a higher value for PcdCpuMaxLogicalProcessorNumber. Well, the downside is that you have to keep ovmf and xen in sync manually. Your call. If you prefer to do it that way I have no objections, just wanted point out the alternative approach. take care, Gerd -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#118301): https://edk2.groups.io/g/devel/message/118301 Mute This Topic: https://groups.io/mt/105721898/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
