website: In guest_binaries page, point to the available disks
JIRA: https://gem5.atlassian.net/browse/GEM5-415
Signed-off-by: Giacomo Travaglini <giacomo.travaglini@arm.com>
Change-Id: Ib47a193797e678ec22381014f0057ce248ba6406
Reviewed-on: https://gem5-review.googlesource.com/c/public/gem5-website/+/26963
Reviewed-by: Jason Lowe-Power <power.jg@gmail.com>
Maintainer: Jason Lowe-Power <power.jg@gmail.com>
Tested-by: Jason Lowe-Power <power.jg@gmail.com>
diff --git a/_pages/documentation/general_docs/fullsystem/guest_binaries.md b/_pages/documentation/general_docs/fullsystem/guest_binaries.md
index c437c96..38a9f8b 100644
--- a/_pages/documentation/general_docs/fullsystem/guest_binaries.md
+++ b/_pages/documentation/general_docs/fullsystem/guest_binaries.md
@@ -19,12 +19,21 @@
Here follows a list of prebuilt binaries to be downloaded by just clicking the link:
-### Arm FS Binaries (Kernel/Disk images)
+### Arm FS Binaries
-##### Latest Linux Kernel/Disk Image (**recommended**)
+##### Latest Linux Kernel Image / Bootloader (**recommended**)
+
+The tarball below contains a set of binaries: the Linux kernel and a set of bootloaders
* <http://dist.gem5.org/dist/current/arm/aarch-system-201901106.tar.bz2>
+##### Latest Linux Disk Images (**recommended**)
+
+* <http://dist.gem5.org/dist/current/arm/disks/aarch64-ubuntu-trusty-headless.img.bz2>
+* <http://dist.gem5.org/dist/current/arm/disks/aarch32-ubuntu-natty-headless.img.bz2>
+* <http://dist.gem5.org/dist/current/arm/disks/linaro-minimal-aarch64.img.bz2>
+* <http://dist.gem5.org/dist/current/arm/disks/linux-aarch32-ael.img.bz2>
+
##### Old Linux Kernel/Disk Image
These images are not supported. If you run into problems, we will do our best to help, but there is no guarantee these will work with the latest gem5 version
