On Sun, 11 Jul 2021 09:16:26 +1200, Peter Reutemann quoted:
There is substantial support for the project across the industry. Google said in April "we feel that Rust is now ready to join C as a practical language for implementing the kernel" and that it would reduce the number of potential bugs and security vulnerabilities.
Could it now be a race between hardware and software? A project from the University of Cambridge called “CHERI” (“Capability Hardware Enhanced RISC Instructions”) adds protection features to existing CPU architectures like RISC-V, ARM and MIPS to close off many potential security holes while allowing the continued use of existing programming languages like C. More here <https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/>.