1. 73e0528 Add console_flush() to console API by Antonio Nino Diaz · 8 years ago
  2. 66be868 AArch32: Add console driver by Soby Mathew · 9 years ago