diff options
| author | Chris Webb <chris@arachsys.com> | 2025-08-25 14:20:34 +0100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2025-09-25 23:59:24 +1000 |
| commit | c617ed159a632c59838000e21d2dde9ce1feaaec (patch) | |
| tree | e50ac10d527f7a985012f515e49603c7db1fd9ca /tests/extmod/machine_timer.py | |
| parent | 49f2a1f0ed1ef140b2ae5a2bb1870b605d99c2f6 (diff) | |
zephyr/machine_timer: 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 zephyr port for a hard= argument
to explicitly choose between these, setting the default to False to match
the existing behaviour.
Adjust the stack-limit check to use the ISR stack while the callback is
dispatched so that hard IRQ callbacks work, as with machine_pin.c and
machine_i2c_target.c IRQ callbacks.
Signed-off-by: Chris Webb <chris@arachsys.com>
Diffstat (limited to 'tests/extmod/machine_timer.py')
0 files changed, 0 insertions, 0 deletions