mirror of
https://github.com/micropython/micropython.git
synced 2026-04-23 17:30:23 +02:00
b9523fd58c
Update the main machine.Timer specification, and any references to hard/soft interrupts in port-specific documentation. There is a separate copy of the machine.Timer documentation for the pyboard, so update that too to keep everything consistent. Signed-off-by: Chris Webb <chris@arachsys.com>