4 ms·

For clarification, that's 11% Android, 1% Linux proper. Not 12% Linux with 11% of the Linux share being Android.