Chris Webb 955b6a907c extmod/machine_timer: Support hard IRQ soft timer callbacks. ...

machine.Timer() has inconsistent behaviour between ports: some run
callbacks in hard IRQ context whereas others schedule them like soft IRQs.

As on the rp2 port, add support to the generic software timer for a hard=
argument to explicitly choose between these, setting the default to False
to match the existing behaviour. This enables hard timer callbacks for
the alif, mimxrt and samd ports.

Signed-off-by: Chris Webb <chris@arachsys.com>

2025-09-25 23:59:24 +10:00

6.0 KiB

Raw Permalink Blame History

View Raw