1. eb90ab9 hw/mips_gictimer: provide API for retrieving frequency by Paul Burton · 8 years ago
  2. 4051405 hw/mips: implement GIC Interval Timer by Yongbok Kim · 9 years ago