• 1
• 0
• 0

nextOS-manifest

a manifest for nextos

• 1
• 0
• 0

nextOS

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

• 1
• 0
• 0

seL4

• 1
• 0
• 0

nanopb

• 1
• 0
• 0

sel4webserver

• 1
• 0
• 0

git-repo

• 1
• 0
• 0

opensbi

• 1
• 0
• 0

ld64

• 1
• 0
• 0

docs

• 1
• 0
• 0

capdl

• 1
• 0
• 0

gerrit

• 1
• 0
• 0

musllibc

• 1
• 0
• 0

java-prettify

• 1
• 0
• 0

penpot

• 1
• 0
• 0

polymer-bridges

• 1
• 0
• 0

stackage-snapshots

• 1
• 0
• 0

camkes-vm

• 1
• 0
• 0

seL4_libs

• 1
• 0
• 0

seL4_projects_libs

seL4项目依赖库，复制自https://github.com/sel4/seL4_projects_libs

• 1
• 0
• 0

sel4-tutorials-manifest