seL4操作系统编程
橙单中台化低代码生成器。可完整支持多应用、多租户、多渠道、工作流 (Flowable & Activiti)、在线表单、自定义数据同步、自定义Job、多表关联、跨服务多表关联、框架技术栈自由组合等。
PhotonRTOS是一个由国科础石研发，并且符合AUTOSAR CP R20-11规范的实时操作系统， 它用于车辆底盘控制，汽车状态监控等场景。
础光Linux是基于开源Linux优化的强实时操作系统，可以支持智能汽车仪表/娱乐/自动驾驶等对实时性要求的场景。础光Linux希望通过抛砖引玉，持续在Linux实时性/可靠性/安全性上进行研究，为汽车/工业控制/机器人等领域提供基础操作系统。欢迎各位Linux爱好者、行业的开发者提出想法、建议和参与开发，维护一个在智能场景适用性较广的实时Linux社区发行版。
DIM-SUM自研操作系统源码。 建议配合《自研操作系统DIM-SUM设计与实现》一书阅读DIM-SUM操作系统源码。
包含LINUX内核同步、信号、内存、调度、文件系统、网络系统、时钟等部分的源码注释。前后历时三年，算是干货。
Cloud Kernel 是龙蜥操作系统(Anolis OS)内核. 基于Linux社区主线稳定版. 致力于打造更稳定, 更可靠, 更安全, 特性更丰富, 性能更优化的 Linux 系统内核. 为 Anolis OS 以及下游生态合作 OS 发行版提供坚实的内核支持, 更好的支撑和扩展上层业务应用.
LMP是一个基于BCC(BPF Compiler Collection)的Linux系统性能数据实时展示的web工具，它使用BPF(Berkeley Packet Filters)，也叫eBPF，目前LMP在ubuntu18.04上测试通过，内核版本4.15.0。http://lmp.kerneltravel.net/
