Basic OS running on STM32L