Before revision: , Android, a mobile OS that uses the Linux kernel, is the world's most widely usedoperating system.
After revision: , Android, a mobile OS that uses the Linux kernel, is the world's most widely used operating system.