本项目提供LLVM及相关编译基础设施的学习实践框架和选题。该项目由中国科学技术大学张昱老师研究组s4plus设计和开发，旨在引导更多学生和社会人员学习和实践编译器相关知识，开展语言设计与实现、程序分析、编译优化等研发，让越来越多的人有能力运用程序语言基础提供可靠、高效的软件解决方案。
seL4-20200714-x86_64内核源码注释