Achieve REUSE compliance and update `rust-seL4` - Githubissues

seL4 / rust-microkit-http-server-demo

Demonstrates the use of the seL4 crates with the seL4 Microkit

2 stars 2 forks source link

Achieve REUSE compliance and update `rust-seL4` #7

Closed nspin closed 10 months ago

nspin commented 10 months ago

Achieve REUSE compliance by adding SPDX license identifiers to source files.