Want a truly secure operating system kernel? The Linux Foundation is partnering with Australia’s national science agency, CSIRO, to roll out the seL4 microkernel
Article Link: https://www.zdnet.com/article/linux-foundation-backs-security-oriented-sel4-microkernel-operating-system/#ftag=RSSbaffb68