1. db33b0e stm32mp1: add 800 MHz profile support by Patrick Delaunay · Wed Feb 26 11:26:43 2020 +0100
  2. fac5ba8 arm: stm32mp: fdt: update kernel device tree according the part number by Patrick Delaunay · Wed Feb 12 19:37:44 2020 +0100
  3. 43f214c stm32mp1: update device tree with ETZPC status by Patrick Delaunay · Fri Jul 05 17:20:15 2019 +0200
  4. a6f0391 stm32mp1: update package information in device tree by Patrick Delaunay · Fri Jul 05 17:20:14 2019 +0200