website: Bump example kernel version to 4.14
Signed-off-by: Giacomo Travaglini <giacomo.travaglini@arm.com>
Change-Id: I88db22d527cfccb1280b2f81e8f283b2dc9b35e8
diff --git a/_pages/documentation/general_docs/fullsystem/building_arm_kernel.md b/_pages/documentation/general_docs/fullsystem/building_arm_kernel.md
index 6752651..3c3dd70 100644
--- a/_pages/documentation/general_docs/fullsystem/building_arm_kernel.md
+++ b/_pages/documentation/general_docs/fullsystem/building_arm_kernel.md
@@ -39,9 +39,9 @@
git clone https://gem5.googlesource.com/arm/linux
```
-The repository contains a tag per gem5 kernel releases and working branches for major Linux revisions. Check the [project page](https://gem5-review.googlesource.com/#/admin/projects/arm/linux) for a list of tags and branches. The clone command will, by default, check out the latest release branch. To checkout the v4.4 branch, execute the following in the repository:
+The repository contains a tag per gem5 kernel releases and working branches for major Linux revisions. Check the [project page](https://gem5-review.googlesource.com/#/admin/projects/arm/linux) for a list of tags and branches. The clone command will, by default, check out the latest release branch. To checkout the v4.14 branch, execute the following in the repository:
```
-git checkout -b gem5/v4.4
+git checkout -b gem5/v4.14
```
## AArch32
