Programming WCH's BLE MCU

WCH produces ultra-low-power MCU such as the CH582 or the CH32V208, among others. Their SDK includes examples and libraries to use BLE, and these libraries use a proprietary scheduler called TMOS. Unfortunately, there's no documentation about it outside code examples.

I have found a detailed blog post about TMOS, but it's in Chinese, so I have translated it to English and made it available here. When I'll find the time, I'll also translate the Chinese comments in the screenshots, but it's already useful as is.