微内核与操作系统实验

围绕微内核操作系统、用户态系统组件和性能导向 OS 研究基础设施的实验与学习。

这一方向包括原创系统工具，也包括对 CXLOS、Amkos、lionsos、seL4、pmbench 和 lkp-tests 等 fork 或参考项目的研究与实验。fork 仓库在这里作为研究上下文呈现，不写作原创项目。