使用rust语言复现的sel4项目。
cd tools/elfloader
make run- 支持riscv64指令集
- boot阶段完成（包括cap_table的初始化、untyped caps的分配）
- 编写了用户态程序，可以向内核发出syscall
- 实现ipc、thread的相关系统调用
- 完善文档
-
Notifications
You must be signed in to change notification settings - Fork 0
Inquisitor-201/rust-sel4
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
SeL4 kernel rewritten by rust (for undergraduate graduation project)
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published