Hi,

> > IIRC some of the TDX features require a separate firmware binary.  So, if we
> > need a separate binary anyway at some point in the future, isn't it simpler 
> > then
> > to use a separate firmware binary right from the start?
> > 
> > You can simply add a Tdx-specific variant of the library
> > (BaseIoLibIntrinsicTdx.inf) and switch at compile time instead of having 
> > runtime
> > switches all over the place.
> > 
> TDVF has 2 Config for upstream. See 
> https://edk2.groups.io/g/devel/message/76367
> Config-A merge the *basic* TDVF features to existing OvmfX64Pkg.dsc. (Align 
> with existing SEV).

Hmm, so we'll have two variants with two feature sets.

One more question:  How does this align with the WorkArea changes posted
yesterday?  The WorkArea gets a mode field for SEV / TDX / normal, so
I think you should be able to use that instead of invoking cpuid each
time you need to know whenever tdx is active or not.

take care,
  Gerd



-=-=-=-=-=-=-=-=-=-=-=-
Groups.io Links: You receive all messages sent to this group.
View/Reply Online (#79550): https://edk2.groups.io/g/devel/message/79550
Mute This Topic: https://groups.io/mt/84837896/21656
Group Owner: devel+ow...@edk2.groups.io
Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com]
-=-=-=-=-=-=-=-=-=-=-=-


Reply via email to