A review of “non-C-based” operating systems: https://www.theregister.com/2022/03/29/non_c_operating_systems/