• 1
• 0
• 0

llama.cpp

• 1
• 0
• 0

musllibc

• 1
• 0
• 0

capdl

• 1
• 0
• 0

docs

• 1
• 0
• 0

limine

• 1
• 0
• 0

seL4_tools

• 1
• 0
• 0

seL4

• 1
• 0
• 0

IOGraphics

• 1
• 0
• 0

WebKit

• 1
• 0
• 0

nanopb

• 1
• 0
• 0

glm-llama.cpp

• 1
• 0
• 0

libbcrypt

• 1
• 0
• 0

nextOS

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

• 1
• 0
• 0

libexpat

• 1
• 0
• 0

sel4webserver

• 1
• 0
• 0

opensbi

• 1
• 0
• 0

ld64

• 1
• 0
• 0

camkes-vm

• 1
• 0
• 0

seL4_libs

• 1
• 0
• 0

seL4_projects_libs

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