Our implementation should be based on the way HyStart is implemented in the Linux kernel, since it is battle-tested. However theRFC is relevant for context and clarity.