search

seL4 / rust-sel4

Rust support for seL4 userspace
85 stars 10 forks source link

Add test for `sel4-hal-adapters` #116

Closed nspin closed 2 weeks ago

nspin commented 2 weeks ago

Resolved by https://github.com/seL4/rust-sel4/pull/152