Hi,

I'd like to port Tock OS to an STM32 microcontroller - either the STM32L476 or STM32F756.

Are there any known technical obstacles or limitations that would make this difficult?

Best regards,