[astrange]

Their phone probably had at least 3 other RTOSes on it. Hardware security is more important than the main processor's OS when you have that many radios.