Good post! If you want another deep dive into the inner workings of a microkernel RTOS with hundreds of millions of deployments, check out the From The Board Up blog series at devblog.qnx.com. It's a really good technical dive and is building a custom OS image from the group up.