INF_VERSION = 0x00010005\r
BASE_NAME = Tcp4Dxe\r
FILE_GUID = 6d6963ab-906d-4a65-a7ca-bd40e5d6af4d\r
- MODULE_TYPE = DXE_DRIVER\r
+ MODULE_TYPE = UEFI_DRIVER\r
VERSION_STRING = 1.0\r
EDK_RELEASE_VERSION = 0x00020000\r
EFI_SPECIFICATION_VERSION = 0x00020000\r