diff --git a/docs/FVP.md b/docs/FVP.md
index 16997bc..0db0bef 100644
--- a/docs/FVP.md
+++ b/docs/FVP.md
@@ -1,4 +1,4 @@
-# FVP
+# Running Hafnium under Arm FVP
 
 Arm offers a series of emulators known as Fixed Virtual Platforms (FVPs), which
 simulate various processors. They are generally more accurate to the hardware
diff --git a/docs/README.md b/docs/README.md
new file mode 100644
index 0000000..635da70
--- /dev/null
+++ b/docs/README.md
@@ -0,0 +1,20 @@
+# Documentation index
+
+*   [README](../README.md)
+*   [Contributing](../CONTRIBUTING.md)
+*   [Style guide](StyleGuide.md)
+
+## Building and running Hafnium
+*   [Getting started](GettingStarted.md)
+*   [Building a RAM disk with VMs for Hafnium to run](HafniumRamDisk.md)
+*   [Manifest format](Manifest.md)
+*   [Building a Linux image for Hafnium](PreparingLinux.md)
+*   [Building Hafnium hermetically with Docker](HermeticBuild.md)
+*   [Running Hafnium under Arm FVP](FVP.md)
+
+## Design details
+*   [Architecture](Architecture.md)
+*   [Code structure](CodeStructure.md)
+*   [Test infrastructure](Testing.md)
+*   [The interface Hafnium provides to VMs](VmInterface.md)
+*   [Scheduler VM expectations](SchedulerExpectations.md)
diff --git a/navbar.md b/navbar.md
new file mode 100644
index 0000000..f0835ab
--- /dev/null
+++ b/navbar.md
@@ -0,0 +1,8 @@
+# Hafnium
+
+*   [Getting started](/docs/GettingStarted.md)
+*   [Architecture](/docs/Architecture.md)
+*   [Coding style](/docs/StyleGuide.md)
+*   [Documentation index](/docs/README.md)
+
+[home]: /README.md