@miracleeeee
zhanghengtian 暂无简介
seminix 组件
seminix 内核运行时支持
seminix 内核
嵌入式板级模拟器
fffffffffffff
seminix rust kernel
一个参考 sel4 演变而来的微内核, 目标是硬实时, 安全可靠, 小巧简洁, 高度可定制, 并且支持多个平台.
Seminix 项目通用实用的库.
一个 seminix 内核的用户态 rootserver 程序的演示 demo.
一个使用 seminix 微内核的用户态 rootserver 服务程序 demo.
用于 seminix 项目的仿真器运行脚本
用于 seminix 项目的实用 musl libc 库.