> They all [are] written in unsafe languages (C and C++) and can be abused by cyber criminals and governments to spy on and track people at will.
All major OSes (regardless of formfactor) that a consumer uses are written in C.
All languages, including C, are "unsafe" if the standard is that software in said language can be written in an unsafe way. Writing an operating system, firmware, or embedded software is a fundamentally different category of activity from writing some CRUD app (other than unhelpfully sharing terms like "engineering", "language", and "software.") OSes are written in C because the task demands it; the reason that there isn't a Javascript-based kernel isn't an arbitrary one. Perhaps Rust will change the game at some point, however as it stands, it doesn't make any sense to draw a distinction between OSes written in so-called "unsafe" and "safe" languages.