Adding documentation index and navigation bar.
Change-Id: I7f764327f60e499837e8992f0c537539b93ffff1
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
