Closed jonas-schievink closed 10 months ago
Should resources on interrupt handlers require Send? You can change the priority of an interrupt at runtime, effectively "sending" the resource values from one priority level to another.
Also, can the DefaultHandler have resources? I think that's unsound because it can run reentrantly if there are 2 interrupts at different priority without a handler set.
r? @therealprof
(rust-highfive has picked a reviewer for you, use r? to override)