tree 279967ae5bf41348b70708c3058c634df03bf45c
parent 2d5cbb75dd15e8c1d8b14032f0649e87674aa760
parent 181f054df9ea92f0e332d15ecb0bff45c328efd4
author Giacomo Travaglini <giacomo.travaglini@arm.com> 1583170244 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1583170244 +0000

Merge changes I88db22d5,I0ed0f737

* changes:
  website: Bump example kernel version to 4.14
  website: Fix arm/linux gerrit links