So can the Pi Pico, the Milk-V Duo (one 64 bit Linux core, one 64 bit microcontroller core), and many others.
The Arduino SDK is the simplest to use, sure, but the Pico framework (I don't have experience with the Espressif one) is extremely good, and the Pico's PIO is a godsend. I used it to implement 3 wire SPI (data bidirectional on the same wire) at almost 'real-time', which is to say, at half the speed of the hardware SPI controller (half the speed because the interface clock is put up one cycle and down the next; this also gives enough time for data shuffling).
Why does the Arduino SDK necessitate a huge markup on Arduino boards, when $0 of every computer I buy to run Linux on goes to GCC?
I'm not expecting a $0 markup, but Arduino prices are simply unreasonable for what they offer, especially if you live in a lower income country.
Generics may have the same active ingredient but (vastly) different pharmacokinetics - i.e. different absorption rates/retention in the body. For basic stuff such as painkillers that's one thing, but for more sensitive medication such as insulin, antidepressants or anything related to the cardiovascular system (heart rate, blood pressure and clotting) one has to be very careful when switching between brands.
But you still used the Arduino SDK with the bluepill, so clearly Arduino had a point. Unless you were one of the few masochist who dealt with the STM32 toolchain directly for fun?
The Pi Pico is such a breath of fresh air in that regard. Finally a decent-enough toolchain for a decent-enough performing ARM MCU!