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. c863fa4 Separate out common console functionality by Dan Handley · Wed Apr 01 16:51:20 2015 +0100