website: Update example command-lines in building_arm_kernel

* Deprecate from the example command-lines in favour of

* Point to a more up to date disk image

Signed-off-by: Giacomo Travaglini <>
Change-Id: Id4897466c8d023136c35bc5596a2b6f33acbc0d7
Reviewed-by: Bobby R. Bruce <>
Maintainer: Bobby R. Bruce <>
Tested-by: Bobby R. Bruce <>
diff --git a/_pages/documentation/general_docs/fullsystem/ b/_pages/documentation/general_docs/fullsystem/
index 72a1c96..5e22321 100644
--- a/_pages/documentation/general_docs/fullsystem/
+++ b/_pages/documentation/general_docs/fullsystem/
@@ -10,7 +10,7 @@
 This page contains instructions for building up-to-date kernels for gem5 running on ARM. 
-If you don't want to build the Kernel on your own you could still [download a
+If you don't want to build the Kernel (or a disk image) on your own you could still [download a
 prebuilt version](./guest_binaries).
 ## Prerequisites
@@ -78,8 +78,8 @@
 Testing the just built kernel:
-./build/ARM/gem5.opt configs/example/ --kernel=/tmp/linux-arm-gem5/vmlinux --machine-type=VExpress_GEM5_V1 \
-    --dtb-file=$PWD/system/arm/dt/armv8_gem5_v1_1cpu.dtb --disk-image=linaro-minimal-aarch64.img
+./build/ARM/gem5.opt configs/example/arm/ --kernel=/tmp/linux-arm-gem5/vmlinux \
+    --disk-image=ubuntu-18.04-arm64-docker.img
 # Legacy kernels (pre v4.x)