a seL4 version using Rust
Primary LanguageRustGNU General Public License v3.0GPL-3.0
rust编写的在RISCV平台下seL4内核。