Noch pflegt Google für Android selbst einige externe Linux-Kernel-Funktionen. Das soll sich künftig ändern. (Android, Linux-Kernel)