The kernel may be closed, but the information is "open" http://rtos.com/images/uploads/EL_Ne...mber_2010.html The iPhone 4 use ThreadX RTOS in the Infineon PMB9800, or X-Gold 618 baseband chip/cpu. Separate = higher cost, more complex HW and higher power consumption.