1. 4b32e62 libc: Fix all includes in codebase by Antonio Nino Diaz · Thu Aug 16 16:52:57 2018 +0100
  2. 12f73ff rpi3: Introduce hardware RNG driver by Antonio Nino Diaz · Fri Jul 13 09:27:16 2018 +0100
  3. ecf3471 rpi3: Detect board revision by Antonio Nino Diaz · Thu Jul 12 13:38:53 2018 +0100
  4. 1f47002 rpi3: Use new console APIs by Antonio Nino Diaz · Tue Mar 27 09:39:47 2018 +0100
  5. ae6779e rpi3: Introduce AArch64 Raspberry Pi 3 port by Antonio Nino Diaz · Mon Nov 06 14:49:04 2017 +0000