[frollogaston]

In fact Android has secure boot plus its own stricter thing. Probably the most commonly running software based on the Linux kernel.