PICO = RP2040 = Cortex M0+ = ARMv6M
Nope, but for Pico you are correct.
Here's an exact overview of the other ones:
The Raspberry Pi range of single-board computers uses different ARM processors depending on the model. Here is a list of the different models and their corresponding processors and ABI for the standard OS:
- Raspberry Pi 1 Model A and B: Broadcom BCM2835 SoC with ARM1176JZF-S CPU, ARMv6 Hard float
- Raspberry Pi 1 Model A+ and B+: Broadcom BCM2835 SoC with ARM1176JZF-S CPU, ARMv6 Hard float
- Raspberry Pi 2 Model B: Broadcom BCM2836 SoC with quad-core ARM Cortex-A7 CPU, ARMv6 Hard float, but later models ARMv7 Hard float because that was really already a BCM2837
- Raspberry Pi 3 Model B and B+: Broadcom BCM2837 SoC with quad-core ARM Cortex-A53 CPU, ARMv7 Hard float
- Raspberry Pi 4 Model B: Broadcom BCM2711 SoC with quad-core ARM Cortex-A72 CPU, ARMv7 Hard float
- Raspberry Pi 5 Model B: Broadcom BCM2712 Soc with quad code ARM Cortex-A76 CPU, ARMv8 Hard float
To a certain extend the ABI depends on the OS that is used, but the above is for the standard Raspberry Debian based OS.
All versions of the 32 ABI's are compatible with ARMv6 Hard float. It only matters if you need the features in your programs. For Lazarus and FPC I would stick with ARMv6 to compile themselves, as long as the CPU/FPU compiler options for my own software are listed correctly.
Only the Raspberry Pi 5 entry was written by me, the rest was found on the web.