A lot of firmware people consider HAL libraries as harmful. In general, microcontroller companies as pretty terrible at software.