Aren't all (or most) baseband OSes real-time OSes? You can't really run a baseband with Linux. I imagine the virtualization software is there to run the baseband OS and the Android OS side by side on the same CPU.