Clean up `sel4` crate namespace - Githubissues

seL4 / rust-sel4

Rust support for seL4 userspace

116 stars 12 forks source link

Clean up `sel4` crate namespace #112

Closed nspin closed 6 months ago

nspin commented 6 months ago

Don't export cap::*
Don't expose fault module