It seems it is exactly freeRTOS, but with some additional drivers and libs so not changing the name seems to be a good decision I think. I am wondering however if by using this os, the dev is obliged to use aws services. Isn't this more of a limitation than a benefit?