← 返回专题广场

sel4

2 个项目 · ⭐ 22.2k

1

redox-os/redox

Mirror of https://gitlab.redox-os.org/redox-os/redox

Rust ⭐ 16.5k ⑂ 1.0k MIT · 12 小时前推送

bsd freebsd

12 小时前

最近推送

2

seL4/seL4

The seL4 microkernel

C ⭐ 5.7k ⑂ 800 NOASSERTION · 16 天前推送

microkernel os

16 天前

最近推送