# are licensed and made available under the terms and conditions of the BSD License\r
# which accompanies this distribution. The full text of the license may be found at\r
# http://opensource.org/licenses/bsd-license.php\r
-# \r
+#\r
# THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
# WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
#\r
PcdLib|MdePkg/Library/BasePcdLibNull/BasePcdLibNull.inf\r
PrintLib|MdePkg/Library/BasePrintLib/BasePrintLib.inf\r
TimerLib|MdePkg/Library/BaseTimerLibNullTemplate/BaseTimerLibNullTemplate.inf\r
+ UefiRuntimeServicesTableLib|MdePkg/Library/UefiRuntimeServicesTableLib/UefiRuntimeServicesTableLib.inf\r
\r
[LibraryClasses.common.DXE_DRIVER]\r
DxeServicesTableLib|MdePkg/Library/DxeServicesTableLib/DxeServicesTableLib.inf\r
\r
[Components.common]\r
PcAtChipsetPkg/8254TimerDxe/8254Timer.inf\r
+ PcAtChipsetPkg/8259InterruptControllerDxe/8259.inf\r
PcAtChipsetPkg/IsaAcpiDxe/IsaAcpi.inf\r
PcAtChipsetPkg/KbcResetDxe/Reset.inf\r
PcAtChipsetPkg/Library/SerialIoLib/SerialIoLib.inf\r
PcAtChipsetPkg/PcRtc/RealTimeClock.inf\r
+\r