On Sun Jul 13, 2025 at 5:29 PM CEST, Benno Lossin wrote: > I think this solution sounds much better than storing an additional > `NonNull<Device<Bound>>`. I can send two patches for that. The IRQ abstractions have to either land through driver-core or in the next cycle anyways.