在正式学习seL4之前，已经看过一些比较古老的微内核论文，其中包括：

• On micro-kernel Construction
• Toward Real Microkernels
• The Performance of μ-Kernel-Based Systems
• Kernel Design for Isolation and Assurance of Physical Memory

虽然不多，但是对微内核的发展历史和 L4 的基本结构有了概念上的认识，现在开始正式学习 seL4，由于国内的资料较少，笔记中将可能有大量的翻译内容，有能力的同学建议阅读原文，我会在每篇笔记中指明参考资料。

少年辛苦终身事，莫向光阴惰寸功。