1. c79cbb5 x86: dts: Define a default TSC timer frequency by Bin Meng · 3 years, 6 months ago
  2. 80af398 x86: Convert to use driver model timer by Bin Meng · 9 years ago