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