No mention of ChibiOS, unfortunately. I checked and the port still has problems installing on flash, so runs on RAM only.
I’d also like to suggest uC/OS. It doesn’t take much more than setting a timer in asm to port that rtos but I haven’t had the time myself to try it.