According to Qubes OS, they are not realistic today: https://www.qubes-os.org/faq/#what-about-safe-languages-and-formally-verified-microkernels https://www.qube

According to Qubes OS, they are not realistic today: https://www.qubes-os.org/faq/#what-about-safe-languages-and-formally-verified-microkernels https://www.qubes-os.org/faq/#what-about-safe-languages-and-...