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