diff --git a/doc/main/micropython/ujson.rst b/doc/main/micropython/ujson.rst
index d51f7251..247ad32b 100644
--- a/doc/main/micropython/ujson.rst
+++ b/doc/main/micropython/ujson.rst
@@ -1,3 +1,5 @@
+.. pybricks-requirements:: stm32-extra
+
 :mod:`ujson` -- JSON encoding and decoding
 ===========================================
 
diff --git a/doc/main/micropython/urandom.rst b/doc/main/micropython/urandom.rst
index fe40ce9c..96c8ec1f 100644
--- a/doc/main/micropython/urandom.rst
+++ b/doc/main/micropython/urandom.rst
@@ -1,3 +1,5 @@
+.. pybricks-requirements:: stm32-extra
+
 :mod:`urandom` -- Pseudo-random numbers
 ================================================
 
diff --git a/doc/main/micropython/uselect.rst b/doc/main/micropython/uselect.rst
index 044f12f9..f45be20a 100644
--- a/doc/main/micropython/uselect.rst
+++ b/doc/main/micropython/uselect.rst
@@ -1,3 +1,5 @@
+.. pybricks-requirements:: stm32-extra
+
 :mod:`uselect` -- Wait for events
 =================================