I though of using the NUCLEO-H743ZI(which might be an overkill) is there a demo for that ? (that I can easily open an ssl socket and send/get requests ?).1) is embed os good for this , or stm32CubeMX better ?2) Tried using the stm32f407 with freeRTOS...