resources: Add boot exit to website

Signed-off-by: Jason Lowe-Power <>
Change-Id: I8e35808a978a112afbcb29a41d74dae6a244ebf8
Maintainer: Jason Lowe-Power <>
Reviewed-by: Bobby R. Bruce <>
Tested-by: Bobby R. Bruce <>
diff --git a/src/boot-exit/ b/src/boot-exit/
index 0510952..657c885 100644
--- a/src/boot-exit/
+++ b/src/boot-exit/
@@ -1,4 +1,8 @@
-# Linux boot-exit image
+title: Linux boot-exit image
+layout: default
+permalink: resources/boot-exit
 This document provides instructions to create the "boot-exit" image, the Linux kernel binaries, and also points to the gem5 configuration files needed to run the boot.
 The boot-exit disk image is based on Ubuntu 18.04 and has its `.bashrc` file modified in such a way that the guest OS terminates the simulation (using the `m5 exit` instruction) as soon as the system boots.