diff --git a/docs/GettingStarted.md b/docs/GettingStarted.md
index de60e50..c7b7829 100644
--- a/docs/GettingStarted.md
+++ b/docs/GettingStarted.md
@@ -1,5 +1,7 @@
 # Getting started
 
+[TOC]
+
 ## Getting the source code
 
 ```shell
diff --git a/docs/HermeticBuild.md b/docs/HermeticBuild.md
index f30de14..1d3f66a 100644
--- a/docs/HermeticBuild.md
+++ b/docs/HermeticBuild.md
@@ -13,6 +13,8 @@
 default settings. For now, running the hermetic build locally is intended
 primarily to reproduce issues in pre-submit tests.
 
+[TOC]
+
 ## Installing Docker
 
 ### Stable
diff --git a/docs/Manifest.md b/docs/Manifest.md
index 00dd86f..8552fb1 100644
--- a/docs/Manifest.md
+++ b/docs/Manifest.md
@@ -1,5 +1,7 @@
 # Hafnium Manifest
 
+[TOC]
+
 ## Format
 
 The format of the manifest is a simple DeviceTree overlay:
diff --git a/docs/PreparingLinux.md b/docs/PreparingLinux.md
index 9654960..3332096 100644
--- a/docs/PreparingLinux.md
+++ b/docs/PreparingLinux.md
@@ -3,6 +3,8 @@
 To boot Linux, a kernel image (`vmlinuz`) and a suitable initial RAM disk
 (`initrd.img`) need to be created.
 
+[TOC]
+
 ## Build the kernel
 
 The Linux kernel for the primary VM can be built using the following
diff --git a/docs/SchedulerExpectations.md b/docs/SchedulerExpectations.md
index 08078dc..7dfe193 100644
--- a/docs/SchedulerExpectations.md
+++ b/docs/SchedulerExpectations.md
@@ -4,6 +4,8 @@
 responsible for scheduling the other VMs. There are some particular expectations
 on this VM that are required for the rest of the system to function normally.
 
+[TOC]
+
 ## Scheduling
 
 The scheduler VM is responsible for scheduling the vCPUs of all the other VMs.
diff --git a/docs/StyleGuide.md b/docs/StyleGuide.md
index 9422df8..300e34c 100644
--- a/docs/StyleGuide.md
+++ b/docs/StyleGuide.md
@@ -15,6 +15,8 @@
 tooling conflicts with what is in this document we accept what the tooling
 requires, and try to improve it if possible.
 
+[TOC]
+
 ## Clarifications
 
 *   Yes, it does mean all variables are declared, C90-style, at the top of
diff --git a/docs/Testing.md b/docs/Testing.md
index b7b8c93..d79aafc 100644
--- a/docs/Testing.md
+++ b/docs/Testing.md
@@ -1,5 +1,7 @@
 # Testing
 
+[TOC]
+
 ## Overview
 
 Hafnium has 4 main kinds of tests:
diff --git a/docs/VmInterface.md b/docs/VmInterface.md
index 1a8fd6f..bc66aa4 100644
--- a/docs/VmInterface.md
+++ b/docs/VmInterface.md
@@ -13,6 +13,8 @@
 The interface documented here is what is planned for the first release of
 Hafnium, not necessarily what is currently implemented.
 
+[TOC]
+
 ## CPU scheduling
 
 The primary VM will have one vCPU for each physical CPU, and control the