From 2d13f29afafdf2b8e4d035333d344542bbadf989 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Fri, 24 Jul 2015 09:20:47 -0600
Subject: [PATCH] Add description of SCHES_SPORADIC

---
 Documentation/NuttxUserGuide.html | 32 +++++++++++++++++++++++++++----
 1 file changed, 28 insertions(+), 4 deletions(-)

diff --git a/Documentation/NuttxUserGuide.html b/Documentation/NuttxUserGuide.html
index 70d8a6c7fa..088bad2618 100644
--- a/Documentation/NuttxUserGuide.html
+++ b/Documentation/NuttxUserGuide.html
@@ -13,7 +13,7 @@
       <h1><big><font color="#3c34ec"><i>NuttX Operating System<p>User's Manual</i></font></big></h1>
       <p><small>by</small></p>
       <p>Gregory Nutt<p>
-      <p>Last Updated: June 12, 2015</p>
+      <p>Last Updated: July 24, 2015</p>
     </td>
   </tr>
 </table>
@@ -6231,11 +6231,35 @@ interface of the same name.
   result of any priority inheritance, for example).
 </p>
 <p>
-  The policy parameter may have the value <code>SCHED_FIFO</code> or <code>SCHED_RR</code>
-  (<code>SCHED_OTHER</code> and <code>SCHED_SPORADIC</code>, in particular, are not supported).
+  The policy parameter may have the value <code>SCHED_FIFO</code>, <code>SCHED_RR</code>, or <code>SCHED_SPORADIC</code>.
+  <code>SCHED_RR</code> requires the configuration setting <code>CONFIG_RR_INTERVAL &gt; 0</code>;
+  <code>SCHED_SPORADIC</code> requires the configuration setting <code>CONFIG_SCHED_SPORADIC=y</code>.
+  (<code>SCHED_OTHER</code> and non-standard scheduler policies, in particular, are not supported).
   The <code>SCHED_FIFO</code> and <code>SCHED_RR</code> policies will have a single
-  scheduling parameter, <code>sched_priority</code>.
+  scheduling parameter:
 </p>
+<ul>
+  <li><code>sched_priority</code>
+    The thread priority.
+  </ul>
+</ul>
+<p>
+  The <code>SCHED_SPORADIC</code> policy has four additional scheduling parameters:
+</p>
+<ul>
+  <li><code>sched_ss_low_priority</code>
+    Low scheduling priority for sporadic server. 
+  </li>
+  <li><code>sched_ss_repl_period</code>
+    Replenishment period for sporadic server. 
+  </li>
+  <li><code>sched_ss_init_budget</code>
+    Initial budget for sporadic server. 
+  </li>
+  <li><code>sched_ss_max_repl</code>
+    Maximum pending replenishments for  sporadic server. 
+  </li>
+</ul>
 <p>
   <b>Input Parameters:</b>
 </p>