website: Add Guest binaries page for SE,FS binaries

This commit is adding a Guest binaries card which is
a link to a Download page, where a user can get a list of
prebuilt binaries to be used in gem5 simulations

Signed-off-by: Giacomo Travaglini <giacomo.travaglini@arm.com>
Change-Id: Icfd5a187f9591ec6eb83d543e60770b268dde3fe
diff --git a/_data/documentation.yml b/_data/documentation.yml
index c2f0f6d..e3d2778 100644
--- a/_data/documentation.yml
+++ b/_data/documentation.yml
@@ -40,6 +40,8 @@
           url: /documentation/general_docs/fullsystem/building_arm_kernel
         - page: Building Android Marshmallow
           url: /documentation/general_docs/fullsystem/building_android_m
+        - page: Guest binaries
+          url: /documentation/general_docs/fullsystem/guest_binaries
 
     - title: Memory System
       id: memory_system
diff --git a/_pages/documentation/general_docs/fullsystem/guest_binaries.md b/_pages/documentation/general_docs/fullsystem/guest_binaries.md
new file mode 100644
index 0000000..c437c96
--- /dev/null
+++ b/_pages/documentation/general_docs/fullsystem/guest_binaries.md
@@ -0,0 +1,55 @@
+---
+layout: toc
+title: "Guest Binaries"
+permalink: /documentation/general_docs/fullsystem/guest_binaries
+author: Giacomo Travaglini
+---
+* TOC
+{:toc}
+
+We provide a set of useful prebuilt binaries users can download (in case they don't want to
+recompile them from scratch).
+
+There are two ways of downloading them:
+
+* Via Manual Download
+* Via Google Cloud Utilities
+
+## Manual Download
+
+Here follows a list of prebuilt binaries to be downloaded by just clicking the link:
+
+### Arm FS Binaries (Kernel/Disk images)
+
+##### Latest Linux Kernel/Disk Image (**recommended**)
+
+* <http://dist.gem5.org/dist/current/arm/aarch-system-201901106.tar.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
+
+* <http://dist.gem5.org/dist/current/arm/aarch-system-20170616.tar.xz>
+* <http://dist.gem5.org/dist/current/arm/aarch-system-20180409.tar.xz>
+* <http://dist.gem5.org/dist/current/arm/arm-system-dacapo-2011-08.tgz>
+* <http://dist.gem5.org/dist/current/arm/arm-system.tar.bz2>
+* <http://dist.gem5.org/dist/current/arm/arm64-system-02-2014.tgz>
+* <http://dist.gem5.org/dist/current/arm/kitkat-overlay.tar.bz2>
+* <http://dist.gem5.org/dist/current/arm/linux-arm-arch.tar.bz2>
+* <http://dist.gem5.org/dist/current/arm/vmlinux-emm-pcie-3.3.tar.bz2>
+* <http://dist.gem5.org/dist/current/arm/vmlinux.arm.smp.fb.3.2.tar.gz>
+
+## Google Cloud Utilities (gsutil)
+
+gsutil is a Python application that lets you access Cloud Storage from the command line.
+Please have a look at the following documentation which will guide you through the process
+of installing the utility
+
+* [gsutil tool](https://cloud.google.com/storage/docs/gsutil)
+
+Once installed (NOTE: It require you to provide a valid google account) it will be possible to inspect/download gem5 binaries via the following command line.
+
+```
+gsutil cp -r gs://dist.gem5.org/dist/<binary>
+```
+
diff --git a/index.html b/index.html
index 623a61d..b122f8f 100755
--- a/index.html
+++ b/index.html
@@ -57,6 +57,17 @@
 
     <div class="col">
       <div class="card">
+        <div class="fav"><i class="fa fa-download"></i></div>
+        <div class="card-body">
+          <h5 class="card-title">Guest binaries</h5>
+          <p class="card-text">Download guest binaries for Fullsystem and Syscall Emulation mode</p>
+          <a href="/documentation/general_docs/fullsystem/guest_binaries/" class="btn btn-primary">Go to Download page</a>
+        </div>
+      </div>
+    </div>
+
+    <div class="col">
+      <div class="card">
         <div class="fav"><i class="fa fa-book"></i></div>
         <div class="card-body">
           <h5 class="card-title">Publications</h5>