docs for mit-6.828.

Signed-off-by: tonado <jumail@qq.com>