tree d24f678360b802ae8b7f070a5742b8b92acd4124
parent 651022382c7f8da46cb4872a545ee1da6d097d2a
author Paul E. McKenney <paulmck@linux.vnet.ibm.com> 1535575067 -0700
committer Paul E. McKenney <paulmck@linux.ibm.com> 1541742281 -0800

doc: Set down forward-progress requirements

This commit adds a section to the requirements documentation setting down
requirements for grace-period and callback-invocation forward progress.

Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>