= Raspberry Pi Pico =

Raspberry pi's micrcontroler, based on the RP2040

See datasheet https://datasheets.raspberrypi.org/pico/pico-datasheet.pdf

== Interrupts ==

Hardware interrupts uses standard ARM nested vectored interrupt controller.
Interrupts have ID 0-31. The RP2040 only uses 0-26, the rest are tied to
ground. Both cores are tied to the same interrupt lines.

*Do not enable the same interrupt on both cores*, as this leads to race
conditions.


[[index]]