ChibiOS Free Embedded RTOS

I am developing an IoT device and was hoping to get some suggestions on wifi chipsets for use with Chibi and STM32 micro's. There doesn't seem to be a lot of discussion in the forums recently about this. There was some chatter about using TI SimpleLink CC3100 but that was from ~4 years ago. I'd like ...

I read a little more and found their "migration guide":
m

They suggest that the M4 core in these chips is very similar to the STM32F467/469 devices. The primary difference is that the STM32MP M4 core does not have internal FLASH, and consequently must execute code from SRAM. The peripherals are ...

I apologize if this has been answered before, but I searched and did not see anything. Has ChibiOS been used on the STM32MP chips? These are a hybrid chip with a Cortex-M4 and 1 or 2 Cortex-A7's. The M4 core seems fairly standard and similar to an STM32F4 device. Peripherals are mostly dedicated to ...

Digging up a post from long ago...

Is anyone using this library? It seems to work but only if we compile without optimization (O0), with O2 it stops working. We've been digging but so far have't figured out why.

You should check out versaloon to program these. Use windows/stlink to flash versaloon onto the small micro on the discovery board... then you are good to go using open tools that work under windows/linux/mac! Googling around will get you instructions... it is similar to the other discovery boards ...