search

seL4 / rust-microkit-http-server-demo

Demonstrates the use of the seL4 crates with the seL4 Microkit
2 stars 2 forks source link

Update with changes in rust-sel4 repo #10

Closed nspin closed 7 months ago

nspin commented 7 months ago

By running update.sh