diff --git a/Documentation/NuttxPortingGuide.html b/Documentation/NuttxPortingGuide.html
index 1f27a55653e..5efc76e6c3e 100644
--- a/Documentation/NuttxPortingGuide.html
+++ b/Documentation/NuttxPortingGuide.html
@@ -12,7 +12,7 @@
       <h1><big><font color="#3c34ec">
         <i>NuttX RTOS Porting Guide</i>
       </font></big></h1>
-      <p>Last Updated: April 5, 2011</p>
+      <p>Last Updated: April 6, 2011</p>
     </td>
   </tr>
 </table>
@@ -3000,6 +3000,17 @@ build
   </li>
 </ul>
 
+<p>
+ Kernel build options:
+</p>
+<ul>
+  <li>
+    <code>CONFIG_NUTTX_KERNEL</code>: Builds NuttX as a separately compiled kernel.
+  </li>
+    <code>CONFIG_SYS_RESERVED</code>: Reserved system call values for use by architecture-specific logic.
+  </li>
+</ul>
+
 <p>
  OS setup related to on-demand paging:
 </p>