WCH32 support for arduino (in platformio)

Perfect… Linker is happy now… later on I will check if the Hardware also is.

I’ll make the OpenWCH core the default since it seems to be further ahead than the current standard https://github.com/AlexanderMandera/arduino-wch32v003. But the scene in regards to Arduino cores seems to be fragmented now, with many cores and not all of them implementing all functionality.

Yep, since the OpenWCH core is officially supported by the Manufaturer itself I would assume this is the core with the best maintenance in the future.