Check in DxeCore for Nt32 platform. Currently, it does not follow PI/UEFI2.1.
[mirror_edk2.git] / MdeModulePkg / Core /
drwxr-xr-x   ..
drwxr-xr-x - Dxe
drwxr-xr-x - Pei