tree bde941e8427a2006b81b4b877e0efe6e6883d3ab
parent 85181893cdf00576e1c87f0b133ca465b3574227
author Paul E. McKenney <paulmck@linux.vnet.ibm.com> 1535575067 -0700
committer Paul E. McKenney <paulmck@linux.vnet.ibm.com> 1535575067 -0700

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>