diff --git a/Documentation/NuttxPortingGuide.html b/Documentation/NuttxPortingGuide.html
index a74984b2cbc..a2b17b108cb 100644
--- a/Documentation/NuttxPortingGuide.html
+++ b/Documentation/NuttxPortingGuide.html
@@ -4596,6 +4596,10 @@ build
     <code>CONFIG_BOOT_COPYTORAM</code>: Some configurations boot in FLASH
     but copy themselves entirely into RAM for better performance.
   </li>
+  <li>
+    <code>CONFIG_BOOT_RAMFUNCS</code>: Other configurations may copy just
+    some functions into RAM, either for better performance or for errata workarounds.
+  </li>
   <li>
     <code>CONFIG_STACK_POINTER</code>: The initial stack pointer
   </li>