From 965008d3d27c346731dfe186616052641eb60320 Mon Sep 17 00:00:00 2001
From: Julia Vassiliki <julia.vassiliki@unsw.edu.au>
Date: Fri, 14 Aug 2026 12:52:07 +1000
Subject: [PATCH] manual: add anchors for other rpi4b variants

This was necessary when we updated the seL4 docs:

https://github.com/seL4/docs/pull/343/commits/ec6ae4c230c2756378b474b29873f053d0075717

Copy this change back here.

Signed-off-by: Julia Vassiliki <julia.vassiliki@unsw.edu.au>
---
 docs/manual.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/docs/manual.md b/docs/manual.md
index e3d21aa1c..5fdf44f61 100644
--- a/docs/manual.md
+++ b/docs/manual.md
@@ -1513,6 +1513,9 @@ QEMU will start the system image using its packaged version of OpenSBI.
 You can find more about the QEMU virt platform in the
 [QEMU documentation](https://www.qemu.org/docs/master/system/target-riscv.html).
 
+<a id="rpi4b_2gb"></a>
+<a id="rpi4b_4gb"></a>
+<a id="rpi4b_8gb"></a>
 ## Raspberry Pi 4B {#rpi4b_1gb}
 
 Support is available for the Raspberry Pi 4 Model B. There are multiple models of the