seL4 是一个安全操作系统内核，旨在确保现实世界中关键计算机系统的机密性、安全性和可靠性
最近更新: 7个月前1. 面向 ebpf 初学者，为初学者提供 ebpf 学习资料、程序案例，构建 ebpf 的学习社区， 2. 孵化 ebpf 相关工具、项目
最近更新: 接近2年前PhotonRTOS是一个由国科础石研发，并且符合AUTOSAR CP R20-11规范的实时操作系统， 它用于车辆底盘控制，汽车状态监控等场景。
最近更新: 接近3年前础光Linux是基于开源Linux优化的强实时操作系统，可以支持智能汽车仪表/娱乐/自动驾驶等对实时性要求的场景。础光Linux希望通过抛砖引玉，持续在Linux实时性/可靠性/安全性上进行研究，为汽车/工业控制/机器人等领域提供基础操作系统。欢迎各位Linux爱好者、行业的开发者提出想法、建议和参与开发，维护一个在智能场景适用性较广的实时Linux社区发行版。
最近更新: 接近3年前
