In keeping the consistency with existing file names, I think the names that you suggested is okay. Thank you again.
Reviewed-by: G Edhaya Chandran <edhaya.chand...@arm.com> -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#112185): https://edk2.groups.io/g/devel/message/112185 Mute This Topic: https://groups.io/mt/102513314/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
