TimerLib is required for GetPerformanceCounterProperties().
Signed-off-by: Olivier Martin <olivier.martin@arm.com>
git-svn-id: https://edk2.svn.sourceforge.net/svnroot/edk2/trunk/edk2@14092
6f19259b-4bc3-4df7-8a09-
765794883524
#/* @file\r
# \r
-# Copyright (c) 2011-2012, ARM Limited. All rights reserved.\r
+# Copyright (c) 2011-2013, ARM Limited. All rights reserved.\r
# \r
# This program and the accompanying materials \r
# are licensed and made available under the terms and conditions of the BSD License \r
PerformanceLib\r
SerialPortLib\r
FdtLib\r
+ TimerLib\r
\r
[Guids]\r
gEfiFileInfoGuid\r