FLASH_DEFINITION = UefiPayloadPkg/UefiPayloadPkg.fdf\r
\r
DEFINE SOURCE_DEBUG_ENABLE = FALSE\r
+ DEFINE PS2_KEYBOARD_ENABLE = FALSE\r
\r
#\r
# SBL: UEFI payload for Slim Bootloader\r
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