# and ITC could be programmed by OS, it cannot be used by SMM drivers\r
# and runtime drivers, ACPI timer is recommended for SMM drivers and RUNTIME\r
# drivers.\r
-# Copyright (c) 2007 - 2010, Intel Corporation.\r
+# Copyright (c) 2007 - 2010, Intel Corporation. All rights reserved.<BR>\r
#\r
-# All rights reserved. This program and the accompanying materials\r
+# This program and the accompanying materials\r
# 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
MODULE_TYPE = DXE_DRIVER\r
VERSION_STRING = 1.0\r
LIBRARY_CLASS = TimerLib\r
- EDK_RELEASE_VERSION = 0x00020000\r
- EFI_SPECIFICATION_VERSION = 0x00020000\r
\r
\r
#\r