And Android, and the associated real-time bits that run underneath Android (lk? The thing that provides fastboot), and Chrome OS, and whatever internal Debian modifications they're running. Google is apparently quite capable of maintaining at least three or four operating systems developments at once; what's 2-3 more?