twizzler_security/
lib.rs

1#![feature(test)]
2#![no_std]
3//NOTE: temporary, remove later
4#![allow(dead_code)]
5
6extern crate alloc;
7
8#[cfg(all(feature = "kernel", feature = "user"))]
9compile_error!("feature \"kernel\" and feature \"user\" cannot be enabled at the same time");
10
11pub(crate) use twizzler_rt_abi::error::SecurityError;
12
13#[cfg(feature = "user")]
14mod benches;
15
16mod capability;
17mod delegation;
18mod flags;
19mod gates;
20mod keys;
21mod revocation;
22mod sec_ctx;
23
24pub use capability::*;
25pub use delegation::*;
26pub use flags::*;
27pub use gates::*;
28pub use keys::*;
29pub use revocation::*;
30pub use sec_ctx::*;