I checked and you're right! I misunderstood a series of articles from 5 years ago on this subject. Please excuse my confusion :(. Edit: Also Rex is the kernel

I checked and you're right! I misunderstood a series of articles from 5 years ago on this subject. Please excuse my confusion :(. Edit: Also Rex is the kernel and RtOS is the OS. http://www.osnews.com/story/27416/The_second_operating_system_hiding_in_every_mobile_phone http://www.osnews.com/story/27416/The_second_operating_syste...