mbed OS HAL for STM32L4 boards This work was done during my Master Thesis internship at the Joint Open Lab SWARM