Why don't we have static analyzers for this?
Quote Tweet
Expert advice: before you spend two hours debugging why DMA isn't working, make sure you turned on the appropriate clock.
2
5
Conversation
Replying to
There is some type-level trickery in Rust HALs that capture this sort of thing, but it still requires a lot of work by the HAL designer. Someone is going to have to encode the rules. It would be great if the hardware designers could do that formally instead of datasheet prose.
