Raspberry Pi RP2040
The first option considered: a dual-core ARM Cortex-M0+, well liked in the community.
- Plenty of GPIO pins, so large layouts (TKL or full-size) without extra components
- No built-in radio: it relies on an external chip (e.g. Infineon CYW43439) over SPI
- At the time of the project, ZMK support for this pairing was immature: connection problems, power use that was hard to optimise and complicated debugging