1. 28cfffc Console: Use callee-saved registers by Sathees Balya · Tue Jul 31 15:11:11 2018 +0100
  2. 99e4a48 Ensure read and write of flags are 32 bit by Daniel Boulby · Wed May 16 16:04:35 2018 +0100
  3. 4f31ad5 multi console: Assert that consoles aren't registered twice by Antonio Nino Diaz · Mon Apr 30 20:14:07 2018 +0100
  4. 94f8907 Add new function-pointer-based console API by Julius Werner · Mon Jul 31 18:15:11 2017 -0700