Unless they've recently made changes, their OS firmware is actually built on top of FreeRTOS, with a bunch of backported features and memory optimizations for the lower-end and first-generation devices.

I think the most impressive engineering feat is what they're able to accomplish in their software, given their hardware limitations.