1. 7f1f062 Use uintptr_t as base address type in ARM driver APIs by Juan Castillo · Tue Sep 09 09:49:23 2014 +0100
  2. 40d468c Common driver for ARM Cache Coherent Interconnects by Vikram Kanigiri · Tue Dec 23 01:00:22 2014 +0000