1. 8377ae4 Add console_flush() to console API by Antonio Nino Diaz · Mon Feb 06 16:03:41 2017 +0000
  2. d0f5f9c AArch32: Miscellaneous fixes in the AArch32 code by Yatharth Kochar · Wed Nov 09 15:39:25 2016 +0000
  3. 420cc37 AArch32: Add console driver by Soby Mathew · Thu Mar 24 16:52:40 2016 +0000