INF UefiCpuPkg/CpuIo2Dxe/CpuIo2Dxe.inf\r
INF MdeModulePkg/Universal/DevicePathDxe/DevicePathDxe.inf\r
INF MdeModulePkg/Universal/MemoryTest/NullMemoryTestDxe/NullMemoryTestDxe.inf\r
-INF PcAtChipsetPkg/8259InterruptControllerDxe/8259.inf\r
INF MdeModulePkg/Universal/HiiDatabaseDxe/HiiDatabaseDxe.inf\r
INF MdeModulePkg/Universal/SetupBrowserDxe/SetupBrowserDxe.inf\r
INF MdeModulePkg/Universal/DisplayEngineDxe/DisplayEngineDxe.inf\r
# ISA Support\r
#\r
INF MdeModulePkg/Universal/SerialDxe/SerialDxe.inf\r
+!if $(PS2_KEYBOARD_ENABLE) == TRUE\r
+INF OvmfPkg/SioBusDxe/SioBusDxe.inf\r
+INF MdeModulePkg/Bus/Isa/Ps2KeyboardDxe/Ps2KeyboardDxe.inf\r
+!endif\r
\r
#\r
# Console Support\r