1. "Все есть" - это вовсе не значит, что у всего этого одинаковый интерфейс. Никакой абстракции, а равно и пользы от одной библиотеки "для всего" нет 2. Для того же STM32 есть LL, который то же самое, только официально и от производителя
3. Сабж местами гвоздями приколочен к GCC (пишу по памяти)
Такшта для STM32 и Tiva либа не актуальна, как у остальных с HALами дело обстоит - я не знаю