search

seL4 / rust-sel4

Rust support for seL4 userspace
85 stars 10 forks source link

Support and test more configurations #123

Closed nspin closed 2 months ago

nspin commented 2 months ago

Specifically, configurations without debugging and configurations without printing.

This PR adds build tests for some such configurations.