Compile-time IRQL safety for Windows kernel drivers
IRQL-aware kernel pool allocator types (requires nightly)
Core types and traits for IRQL safety
Procedural macros for IRQL safety
An idiomatic Rust mutex type for Windows kernel driver development.
Implementations of fixed-capacity collection types.