本仓库为llh使用rust实现seL4的仓库,当前代码部分已迁移到https://github.com/rel4team/rel4_kernel ,其中有详细的初始化、运行流程介绍。本仓库当前只记录开发过程中的一些文档信息。
-
Notifications
You must be signed in to change notification settings - Fork 1
llh730/seL4-rust-implement
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published