Hi!
This is a great initiative!
Which port the Grove connector provides? I hope I²C.
Which SDK (or SDKs) do you plan to use for the Cortex-M4 core? Apart from STM32Cube, do you plan to consider the Wiring/Arduino framework!
Good luck with the development!