4 # This driver provides support for PS2 based mice.
6 # Copyright (c) 2006 - 2018, Intel Corporation. All rights reserved.<BR>
8 # SPDX-License-Identifier: BSD-2-Clause-Patent
14 INF_VERSION = 0x00010005
15 BASE_NAME = Ps2MouseDxe
16 MODULE_UNI_FILE = Ps2MouseDxe.uni
17 FILE_GUID = 08464531-4C99-4C4C-A887-8D8BA4BBB063
18 MODULE_TYPE = UEFI_DRIVER
20 ENTRY_POINT = InitializePs2Mouse
23 # VALID_ARCHITECTURES = IA32 X64 EBC
24 # DRIVER_BINDING = gPS2MouseDriver;
25 # COMPONENT_NAME = gPs2MouseComponentName;
26 # COMPONENT_NAME2 = gPs2MouseComponentName2;
38 MdeModulePkg/MdeModulePkg.dec
42 UefiBootServicesTableLib
53 gEfiSioProtocolGuid ## TO_START
54 gEfiSimplePointerProtocolGuid ## BY_START
55 gEfiDevicePathProtocolGuid ## TO_START
58 gEfiMdeModulePkgTokenSpaceGuid.PcdPs2MouseExtendedVerification ## CONSUMES
64 # # Timer event used to check the mouse state at a regular interval.
66 # EVENT_TYPE_PERIODIC_TIMER ## CONSUMES
69 [UserExtensions.TianoCore."ExtraFiles"]