It is convenient if monotonic for RTIC is available in HAL. Otherwise users have to do it manually and relay on buggy versions that they might find from github.

Recently @burrbull has added nice impls for F1 and F4.
G0 monotonic can be based on those.