Why not back parts supported by libopencm3? It makes for a decent HAL for Cortex M3/M4/M0 parts from ST, TI, NXP, and Atmel. It's rough around the edges, especially in support for non-STM32 parts, but unlike Arduino or mbed it's easy to contribute patches.
↧