Hello!
Attached is the current draft of the RCU-boosting detailed design document. There are still a few TBD sections, which I will fill out this week. The associated Linaro spec is at:
https://wiki.linaro.org/WorkingGroups/KernelConsolidation/Specs/RcuPriorityB...
Thanx, Paul