Merge "website: Fixed gem5 Jira link (".com" to ".net") in blog post"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/building_arm_kernel.md b/_pages/documentation/general_docs/fullsystem/building_arm_kernel.md
index 503dcee..b278b95 100644
--- a/_pages/documentation/general_docs/fullsystem/building_arm_kernel.md
+++ b/_pages/documentation/general_docs/fullsystem/building_arm_kernel.md
@@ -10,6 +10,8 @@
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 prebuilt version](./guest_binaries/)
+
## Prerequisites
These instructions are for running headless systems. That is a more "server" style system where there is no frame-buffer. The description has been created using the latest known-working tag in the repositories linked below, however the tables in each section list previous tags that are known to work. To built the kernels on an x86 host you'll need ARM cross compilers and the device tree compiler. If you're running a reasonably new version of Ubuntu or Debian you can get required software through apt:
@@ -137,8 +139,8 @@
There are two different bootloaders for gem5. One of 32-bit kernels and one for 64-bit kernels. They can be compiled using the following command:
```
-make -C system/arm/simple_bootloader
-make -C system/arm/aarch64_bootloader
+make -C system/arm/bootloader/arm
+make -C system/arm/bootloader/arm64
```
Once you have compiled the binaries, put them in the binaries directory in your M5\_PATH.
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>
