search

seL4 / rust-sel4

Rust support for seL4 userspace
85 stars 10 forks source link

Update dependencies #158

Closed nspin closed 6 days ago

nspin commented 6 days ago

seL4 and Microkit, along with the sources of sel4.systems for the HTTP server demo