Remove unecessary `#[feature(thread_local)]` from `sel4-sys` - Githubissues

seL4 / rust-sel4

Rust support for seL4 userspace

85 stars 10 forks source link

Remove unecessary `#[feature(thread_local)]` from `sel4-sys` #138

Closed nspin closed 1 month ago

nspin commented 1 month ago

Unnecessary since sel4test support was relegated to a branch