1. f2553c2 FVP: Fix AArch32 dts for `interrupts` node by Soby Mathew · Fri Feb 09 10:40:49 2018 +0000
  2. 6938731 Device tree changes to boot FreeBSD on FVPs by Achin Gupta · Mon Sep 26 10:22:56 2016 +0100
  3. 4b435f3 AArch32: Update user-guide and add DTBs by Soby Mathew · Wed Sep 14 15:51:44 2016 +0100