1. 10fcbdd kernel: Add MAX31785 devicetree support and communications workarounds by Andrew Jeffery · 7 years ago
  2. cc1b07b linux: Host PCIe VGA and random number fixes by Joel Stanley · 7 years ago
  3. 1c7e17d kernel: Move to 4.13 kernel by Joel Stanley · 7 years ago