这是个人学习研究seL4内核时所做的源码注释（这有一些数据结构），主要涉及x86_64架构，除MCS有关内容外，基本覆盖了内核所有内容。seL4内核版本为截止2020-07-14时的源码树。注释工作不再继续，发布在这里仅供有兴趣者参考。

本人不对所作注释负任何责任！任何可能产生不好影响的地方也非本人意愿！