diff options
| author | Chris Webb <chris@arachsys.com> | 2025-08-25 14:21:48 +0100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2025-09-25 23:59:24 +1000 |
| commit | e7aa2a523c518fc17b6e73a06c2ef15e1b4cb9c8 (patch) | |
| tree | 0335439e5ecf0eb3bc8eadc4ebe4231a27f64e13 /tests/extmod/machine_timer.py | |
| parent | c617ed159a632c59838000e21d2dde9ce1feaaec (diff) | |
esp8266/modmachine: Support hard IRQ 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 esp8266 port for a hard= argument
to explicitly choose between these, setting the default to False to match
the existing behaviour. Open-code this as we don't link against mpirq.c
so can't use mp_irq_dispatch().
Signed-off-by: Chris Webb <chris@arachsys.com>
Diffstat (limited to 'tests/extmod/machine_timer.py')
0 files changed, 0 insertions, 0 deletions