HAL for the PIC32 microcontrollers family