[rrss]

> if the largest share of mobile OS's is based on linux (android)

Android has had a variety of downstream patches over the last 5-10 years to address this problem. ChromeOS too.