文件名称：沙发：在seL4微内核之上构建的操作系统
文件大小：215KB
文件格式：ZIP
更新时间：2024-02-25 04:18:49
shell operating-system ega sel4 sel4-microkernel
沙发：在seL4微内核之上构建的操作系统
沙发：在seL4微内核之上构建的操作系统
【文件属性】：
网友评论
- 下载的这个版本无法编译通过，好多错误，建议后续人员可以去 https://github.com/manu88/Sofa 看看