What ever happened to μC/OS?
Seemed both well documented and well suited to have taken over for the current MCU explosion. I almost never see anyone talk about it.
Looks like it open-sourced in 2020.
https://github.com/weston-embedded