diff --git a/doc/main/micropython/builtins.rst b/doc/main/micropython/builtins.rst
index 61c9b4b..0c5f5e1 100644
--- a/doc/main/micropython/builtins.rst
+++ b/doc/main/micropython/builtins.rst
@@ -262,11 +262,11 @@ See also :mod:`umath` for floating point math operations.
 Runtime functions
 -------------------------
 
-.. pybricks-requirements::
+.. pybricks-requirements:: stm32-extra
 
 .. autofunction:: ubuiltins.eval
 
-.. pybricks-requirements::
+.. pybricks-requirements:: stm32-extra
 
 .. autofunction:: ubuiltins.exec