2 # SdDxe driver is used to manage the SD memory card device.
4 # It produces BlockIo and BlockIo2 protocols to allow upper layer
5 # access the SD memory card device.
7 # Copyright (c) 2015 - 2018, Intel Corporation. All rights reserved.<BR>
9 # SPDX-License-Identifier: BSD-2-Clause-Patent
15 INF_VERSION = 0x00010005
17 MODULE_UNI_FILE = SdDxe.uni
18 FILE_GUID = 430AC2F7-EEC6-4093-94F7-9F825A7C1C40
19 MODULE_TYPE = UEFI_DRIVER
21 ENTRY_POINT = InitializeSdDxe
24 # The following information is for reference only and not required by the build tools.
26 # VALID_ARCHITECTURES = IA32 X64 EBC
28 # DRIVER_BINDING = gSdDxeDriverBinding
29 # COMPONENT_NAME = gSdDxeComponentName
30 # COMPONENT_NAME2 = gSdDxeComponentName2
47 UefiBootServicesTableLib
56 gEfiSdMmcPassThruProtocolGuid ## TO_START
57 gEfiBlockIoProtocolGuid ## BY_START
58 gEfiBlockIo2ProtocolGuid ## BY_START
59 gEfiEraseBlockProtocolGuid ## BY_START
60 gEfiDiskInfoProtocolGuid ## BY_START
63 gEfiDevicePathProtocolGuid