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