!if $(SERIAL_DRIVER_ENABLE) == TRUE\r
INF MdeModulePkg/Universal/SerialDxe/SerialDxe.inf\r
!endif\r
-!if $(PS2_KEYBOARD_ENABLE) == TRUE\r
+!if $(SIO_BUS_ENABLE) == TRUE\r
INF OvmfPkg/SioBusDxe/SioBusDxe.inf\r
+!endif\r
+!if $(PS2_KEYBOARD_ENABLE) == TRUE\r
INF MdeModulePkg/Bus/Isa/Ps2KeyboardDxe/Ps2KeyboardDxe.inf\r
!endif\r
INF MdeModulePkg/Bus/Isa/Ps2MouseDxe/Ps2MouseDxe.inf\r
INF MdeModulePkg/Bus/Scsi/ScsiBusDxe/ScsiBusDxe.inf\r
INF MdeModulePkg/Bus/Scsi/ScsiDiskDxe/ScsiDiskDxe.inf\r
INF MdeModulePkg/Bus/Pci/NvmExpressDxe/NvmExpressDxe.inf\r
+!if $(RAM_DISK_ENABLE) == TRUE\r
INF MdeModulePkg/Universal/Disk/RamDiskDxe/RamDiskDxe.inf\r
-\r
+!endif\r
INF FatPkg/EnhancedFatDxe/Fat.inf\r
\r
#\r