nextOS - Gitee.com

3月21日深圳｜OpenClaw 线下实战沙龙：招聘、资讯、项目协同三大场景实操，VS ZeroClaw 横向对比评测，别再只会装，来现场跑通真实业务！

nextOS

概览仓库 77 Issues Pull Requests 动态成员 8

申请加入组织

1

0

0

nextOS

nextOS 主仓库，利用sel4的特性制作的nextOS核心仓库

最近更新: 2个月前

1

0

0

nanopb

最近更新: 3个月前

1

0

0

sel4webserver

最近更新: 3个月前

1

0

0

git-repo

最近更新: 3个月前

1

0

0

opensbi

最近更新: 3个月前

1

0

0

gerrit

最近更新: 3个月前

1

0

0

java-prettify

最近更新: 3个月前

1

0

0

camkes-vm-linux

最近更新: 5个月前

1

0

0

ci-actions

最近更新: 5个月前

1

0

0

camkes-vm-examples

最近更新: 5个月前

1

0

0

seL4_tools

最近更新: 5个月前

1

0

0

rust-microkit-demo

最近更新: 5个月前

1

0

0

machine_queue

最近更新: 5个月前

1

0

0

camkes

最近更新: 5个月前

1

0

0

graph-refine

最近更新: 5个月前

1

0

0

rust-microkit-http-server-demo

最近更新: 7个月前

1

0

0

website

最近更新: 7个月前

1

0

0

polly

最近更新: 7个月前

1

0

0

projects_libs

最近更新: 7个月前

1

0

0

seL4-CAmkES-L4v-dockerfiles

最近更新: 7个月前