[Tock Devel] Re: Porting Tock OS to STM32 (L476 / F756)